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

fix console codemirror height

Browse Source
This commit is contained in:
Kushagra Gour
2017-05-08 02:53:53 +05:30
parent 1c82dcaafd
commit c2621d0adb
3 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/script.js
View File

@ -980,7 +980,6 @@ runBtn, searchInput, consoleEl, consoleLogEl
theme: 'monokai',
foldGutter: true,
readOnly: true,
viewportMargin: Infinity,
gutters: [ 'CodeMirror-foldgutter' ]
});
@ -1247,6 +1246,7 @@ runBtn, searchInput, consoleEl, consoleLogEl
htmlCode.querySelector('.CodeMirror').style.fontSize = prefs.fontSize;
cssCode.querySelector('.CodeMirror').style.fontSize = prefs.fontSize;
jsCode.querySelector('.CodeMirror').style.fontSize = prefs.fontSize;
consoleEl.querySelector('.CodeMirror').style.fontSize = prefs.fontSize;
// Update indentation count when slider is updated
indentationSizeValueEl.textContent = $('[data-setting=indentSize]').value;