diff --git a/webssh/static/js/main.js b/webssh/static/js/main.js index b2d0970..75b76ac 100644 --- 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;