nav.js: refresh CM after theme switch

Author: pepc84

assets/nav.js

@@ -243,7 +243,11 @@
       }
       if (window.editor && window.editor.setOption)
         window.editor.setOption('theme', on ? 'cppmode-dark' : 'cppmode');
-      // Switch static CodeMirror blocks theme      // Tell sketch iframes about dark mode
+      // Switch static CodeMirror blocks theme
+      document.querySelectorAll('.CodeMirror').forEach(el => {
+        if (el.CodeMirror) { el.CodeMirror.setOption('theme', on ? 'cppmode-dark' : 'cppmode'); el.CodeMirror.refresh(); }
+      });
+      // Tell sketch iframes about dark mode
       document.querySelectorAll('iframe').forEach(fr => {
         try { fr.contentWindow.postMessage(on ? 'dark' : 'light', '*'); } catch(e) {}
       });