|
|
@ -361,13 +361,18 @@ jQuery(function($){ |
|
|
|
decoder = window.TextDecoder ? new window.TextDecoder(encoding) : encoding, |
|
|
|
decoder = window.TextDecoder ? new window.TextDecoder(encoding) : encoding, |
|
|
|
terminal = document.getElementById('terminal'), |
|
|
|
terminal = document.getElementById('terminal'), |
|
|
|
termOptions = { |
|
|
|
termOptions = { |
|
|
|
|
|
|
|
cursorBlink: true, |
|
|
|
theme: { |
|
|
|
theme: { |
|
|
|
background: url_opts_data.bgcolor || 'black' |
|
|
|
background: url_opts_data.bgcolor || 'black' |
|
|
|
} |
|
|
|
} |
|
|
|
}; |
|
|
|
}; |
|
|
|
|
|
|
|
|
|
|
|
if (url_opts_data.fontsize !== undefined) |
|
|
|
if (url_opts_data.fontsize) { |
|
|
|
termOptions.fontSize = parseInt(url_opts_data.fontsize); |
|
|
|
var fontsize = window.parseInt(url_opts_data.fontsize); |
|
|
|
|
|
|
|
if (fontsize && fontsize > 0) { |
|
|
|
|
|
|
|
termOptions.fontSize = fontsize; |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
var term = new window.Terminal(termOptions); |
|
|
|
var term = new window.Terminal(termOptions); |
|
|
|
|
|
|
|
|
|
|
|