Изменить 'ace/index.html'

2019-09-04 08:24:10 +02:00
parent 3447c58513
commit 99157f6fad
1 changed files with 2 additions and 1 deletions
--- a/ace/index.html
+++ b/ace/index.html
@@ -74,7 +74,8 @@
                showFoldWidgets: false,
                showLineNumbers: true,
                showGutter: false,
-                autoScrollEditorIntoView: true
+                autoScrollEditorIntoView: true,
+                fontSize: 14;
            });

            function updateToolbar() {