use codemirror theme in usercss installer page

2018-07-22 17:46:42 +03:00 · 2018-07-22 17:46:42 +03:00 · 03d02ad405
commit 03d02ad405
parent 67f48d5e60
1 changed files with 8 additions and 0 deletions
--- a/install-usercss/install-usercss.js
+++ b/install-usercss/install-usercss.js
@ -40,10 +40,18 @@
    port.onDisconnect.addListener(onPortDisconnected);
  }

+  const theme = prefs.get('editor.theme');
  const cm = CodeMirror($('.main'), {
    readOnly: true,
    colorpicker: true,
+    theme,
  });
+  if (theme !== 'default') {
+    document.head.appendChild($create('link', {
+      rel: 'stylesheet',
+      href: `vendor/codemirror/theme/${theme}.css`
+    }));
+  }
  let liveReloadPending = Promise.resolve();
  window.addEventListener('resize', adjustCodeHeight);