archive-gh-me/jsbin
1
0
Fork 0
mirror of https://github.com/jsbin/jsbin.git synced 2026-02-01 16:46:05 +00:00
Code Issues Projects Releases Wiki Activity

Update font size

Browse Source
This commit is contained in:
Giulia Alfonsi 2014-03-27 15:51:54 +00:00
parent cdb480e4de
commit 7e33aac208
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
public/js/editor-settings.js
View File

@ -154,6 +154,9 @@
mode: 'text/html'
}, newSettingsEditor));
jsbin.panels.panels.javascript.editor = editor;
$CodeMirror = $('.CodeMirror');
$CodeMirror.css('font-size', $fontsize.val()+'px');
editor.refresh();
reloadAddons();
// Save on server