diff options
author | Jan-Christoph Borchardt <hey@jancborchardt.net> | 2014-01-07 21:26:12 +0400 |
---|---|---|
committer | Jan-Christoph Borchardt <hey@jancborchardt.net> | 2014-01-07 21:26:12 +0400 |
commit | ee02e7c23c2c310dee8ac4ae5cf4d8cbcc06516e (patch) | |
tree | 584e6c35ee7b51e2422ff4f83eb021d2fcff9507 /js | |
parent | 973393524f98570e8808d533fcf84c277d8e833c (diff) |
text editor: increase default font size for better readability, fix #1559
Diffstat (limited to 'js')
-rw-r--r-- | js/editor.js | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/js/editor.js b/js/editor.js index 7bdd6bf..d34c824 100644 --- a/js/editor.js +++ b/js/editor.js @@ -199,6 +199,10 @@ function showFileEditor(dir, filename) { $('#editor').remove(); // Loads the file editor and display it. $('#content').append('<div id="editor_container"><div id="editor"></div></div>'); + + // bigger text for better readability + document.getElementById('editor').style.fontSize = '16px'; + var data = $.getJSON( OC.filePath('files_texteditor', 'ajax', 'loadfile.php'), {file: filename, dir: dir}, |