🤖 Automatically update generated files

Author: boryanagoncharenko

highlighting/highlighting-trad.json

@@ -484,7 +484,7 @@
         "call": "kald|call",
         "clear": "rens|clear",
         "color": "farve|color",
-        "comma": ",",
+        "comma": "komma|,",
         "def": "def",
         "define": "definer|define",
         "echo": "ekko|echo",

static/js/appbundle.js

@@ -127174,16 +127174,11 @@ def note_with_error(value, err):
   function reconfigurePageBasedOnTab(isTryItPage, enforceDevMode) {
     resetWindow();
     updatePageElements();
-    if (currentTab === "parsons") {
-      configureParson();
-      show_editor();
-      $("#fold_in_toggle_container").hide();
-    } else {
-      if (isTryItPage) {
-        $("[data-editorheight]").each((_, el2) => {
-          const height = $(el2).data("editorheight");
-          $(el2).css("height", height);
-        });
+    if (!isTryItPage) {
+      if (currentTab === "parsons") {
+        configureParson();
+        show_editor();
+        $("#fold_in_toggle_container").hide();
       } else {
         toggleDevelopersMode(!!enforceDevMode);
       }