Browse Source

Merge pull request #237 from fakeyw/dev_set_font_color

Add url param to change font color
pull/223/head^2
Shengdun Hua 3 years ago committed by GitHub
parent
commit
d74196eb00
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 5
      README.md
  2. 14
      webssh/static/js/main.js

5
README.md

@ -119,6 +119,11 @@ Passing a terminal background color
http://localhost:8888/#bgcolor=green
```
Passing a terminal font color
```bash
http://localhost:8888/#fontcolor=red
```
Passing a user defined title
```bash
http://localhost:8888/?title=my-ssh-server

14
webssh/static/js/main.js

@ -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);
};

Loading…
Cancel
Save