Эх сурвалжийг харах

[notebook] Fixed font size on Ace Editor in Linux

Enrico Berti 10 жил өмнө
parent
commit
d824644

+ 3 - 0
desktop/core/src/desktop/static/desktop/js/ko.hue-bindings.js

@@ -1713,6 +1713,9 @@ ko.bindingHandlers.aceEditor = {
         editor.session.setMode(newValue);
         editor.session.setMode(newValue);
       });
       });
     }
     }
+    if (navigator.platform && navigator.platform.toLowerCase().indexOf("linux") > -1) {
+      editor.setOptions({fontSize: "14px"})
+    }
     editor.on("focus", function () {
     editor.on("focus", function () {
       huePubSub.publish("hue.ace.activeMode", ko.utils.unwrapObservable(options.mode));
       huePubSub.publish("hue.ace.activeMode", ko.utils.unwrapObservable(options.mode));
     });
     });

+ 1 - 1
desktop/libs/notebook/src/notebook/static/notebook/css/notebook.css

@@ -426,7 +426,7 @@ h1.empty {
 
 
 .medium-editor-placeholder:after {
 .medium-editor-placeholder:after {
   padding-left: 5px;
   padding-left: 5px;
-  font-size: 12px !important;
+  font-size: 13px !important;
   font-family: 'Ubuntu Mono', Monaco, Consolas, monospace !important;
   font-family: 'Ubuntu Mono', Monaco, Consolas, monospace !important;
   color: #D1D1D1 !important;
   color: #D1D1D1 !important;
   font-style: normal !important;
   font-style: normal !important;