jinql
/
webssh
mirror of https://github.com/huashengdun/webssh
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

found the way to change font color

pull/237/head
fakeyw 2021-09-03 16:31:07 +08:00
parent ddbb2c3fb1
commit e25751c132
1 changed files with 12 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
webssh/static/js/main.js
View File

@ -56,7 +56,7 @@ jQuery(function($){
key_max_size = 16384,
fields = ['hostname', 'port', 'username'],
form_keys = fields.concat(['password', 'totp']),
opts_keys = ['bgcolor', 'title', 'encoding', 'command', 'term', 'fontsize'],
opts_keys = ['bgcolor', 'title', 'encoding', 'command', 'term', 'fontsize', 'fontcolor'],
url_form_data = {},
url_opts_data = {},
validated_form_data,
@ -196,6 +196,11 @@ jQuery(function($){
});
}
function set_font_color(term, color) {
term.setOption('theme', {
foreground: color
});
}
function custom_font_is_loaded() {
if (!custom_font) {
@ -363,7 +368,8 @@ jQuery(function($){
termOptions = {
cursorBlink: true,
theme: {
background: url_opts_data.bgcolor || 'black'
background: url_opts_data.bgcolor || 'black',
foreground: url_opts_data.fontcolor || 'white'
}
};
@ -494,6 +500,10 @@ jQuery(function($){
set_backgound_color(term, color);
};
wssh.set_fontcolor = function(color) {
set_font_color(term, color);
};
wssh.custom_font = function() {
update_font_family(term);
};