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

Merge e9fdc632f0 into 1cf19c7186

pull/310/merge
Ben C 2023-05-03 09:11:55 +08:00 committed by GitHub
parent 1cf19c7186 e9fdc632f0
commit 65f1ad4dba
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 15 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -34,6 +34,17 @@ var wssh = {};
} }
}()); }());
const findFont = (src_list, familyName) => {
if (src_list === undefined) {
return undefined;
}
for (font of src_list) {
if (font.family === familyName) {
return font;
}
}
return undefined;
}
jQuery(function($){ jQuery(function($){
var status = $('#status'), var status = $('#status'),
@ -46,7 +57,9 @@ jQuery(function($){
title_element = document.querySelector('title'), title_element = document.querySelector('title'),
form_id = '#connect', form_id = '#connect',
debug = document.querySelector(form_id).noValidate, debug = document.querySelector(form_id).noValidate,
custom_font = document.fonts ? document.fonts.values().next().value : undefined, fonts = document.fonts,
custom_font_family_name = $("body").attr("data-wssh-custom-font-family-name") || "",
custom_font = findFont(fonts, custom_font_family_name),
default_fonts, default_fonts,
DISCONNECTED = 0, DISCONNECTED = 0,
CONNECTING = 1, CONNECTING = 1,

2
webssh/templates/index.html
View File

@ -36,7 +36,7 @@
{% end %} {% end %}
</style> </style>
</head> </head>
<body> <body {% if font.family %}data-wssh-custom-font-family-name="{{ font.family }}"{% end %}>
<div id="waiter" style="display: none"> Connecting ... </div> <div id="waiter" style="display: none"> Connecting ... </div>
<div class="container form-container" style="display: none"> <div class="container form-container" style="display: none">