mirror/php-web-maker
1
0
Fork 0
mirror of https://github.com/chinchang/web-maker.git synced 2025-07-14 10:36:19 +02:00
Code Issues Releases Wiki Activity

load theme css on demand.fixes #84

Browse Source
This commit is contained in:
Kushagra Gour
2017-03-11 00:57:34 +05:30
parent bb05c17ae4
commit 368c3d5d4a
3 changed files with 4 additions and 216 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/script.js
View File

@ -1175,6 +1175,9 @@ onboardDontShowInTabOptionBtn, TextareaAutoComplete */
scope.cm[type].setOption('indentUnit', $('[data-setting=indentSize]').value);
scope.cm[type].setOption('tabSize', $('[data-setting=indentSize]').value);
scope.cm[type].setOption('theme', $('[data-setting=editorTheme]').value);
// Replace correct css file in LINK tags's href
editorThemeLinkTag.href = '/lib/codemirror/theme/' + prefs.editorTheme + '.css';
scope.cm[type].setOption('keyMap', $('[data-setting=keymap]').value);
scope.cm[type].setOption('keyMap', $('[data-setting=keymap]').value);
scope.cm[type].refresh();