Refresh the UI when output is opened/closed

GregorR · Jan 9, 2020 · e84f9d9 · e84f9d9
1 parent 9aabbb6
commit e84f9d9
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/client/livede.js b/client/livede.js
@@ -753,6 +753,8 @@
             outputCM.setValue("");
         }
 
+        ide.refresh();
+
         // Get the code
         var code = ide.getValue();
 
@@ -768,8 +770,10 @@
         outputUI.style.display = "none";
         ideUI.style.right = "0";
 
-        if (ide)
+        if (ide) {
+            ide.refresh();
             ide.focus();
+        }
     }
 
     // Save the current state