Add fontSize option

Infocatcher · Mar 20, 2019 · 8de1839 · 8de1839
1 parent 6583f5a
commit 8de1839
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/CB_Source_Editor/cbSourceEditor.js b/CB_Source_Editor/cbSourceEditor.js
@@ -14,7 +14,8 @@ var options = {
 		enableCodeFolding: true,
 		showTrailingSpace: true,
 		lineWrapping: false,
-		autocomplete: true
+		autocomplete: true,
+		fontSize: 12
 	},
 	orion: {
 		lineNumbers: true
@@ -444,6 +445,12 @@ if(!watcher) {
 						catch(e) {
 							Components.utils.reportError(e);
 						}
+						if("setFontSize" in se) try {
+							se.setFontSize(options.codeMirror.fontSize);
+						}
+						catch(e) {
+							Components.utils.reportError(e);
+						}
 						window.setTimeout(function() {
 							window.editor.changed = false; // Strange...
 							window.setTimeout(function() { // Workaround for unexpected onTextChanged() calls