From 8fce3db5d219e2d851ddd58667e3363f6aba9b97 Mon Sep 17 00:00:00 2001
From: Sheng <webmaster0115@gmail.com>
Date: Sat, 22 Jun 2019 12:49:07 +0800
Subject: [PATCH] Updated main.js

---
 webssh/static/js/main.js | 5 +++++
 1 file changed, 5 insertions(+)

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;