webssh

commit 8fce3db5d219e2d851ddd58667e3363f6aba9b97
parent b2ba79d27fd0bb33190742cc6810e15af9ae4a61
Author: Sheng <webmaster0115@gmail.com>
Date:   Sat, 22 Jun 2019 12:49:07 +0800

Updated main.js

Diffstat:
M
webssh/static/js/main.js
 | 
5
+++++

1 file changed, 5 insertions(+), 0 deletions(-)
diff --git a/webssh/static/js/main.js b/webssh/static/js/main.js
@@ -204,6 +204,11 @@ jQuery(function($){
 
 
   function reset_font_family(term) {
+    if (!term.font_family_updated) {
+      console.log('Already using default font family');
+      return;
+    }
+
     if (default_fonts) {
       term.setOption('fontFamily',  default_fonts);
       term.font_family_updated = false;