Pārlūkot izejas kodu

Preserve fontSize

Sebastien Lebreton 5 gadi atpakaļ
vecāks
revīzija
9f35593c2f
1 mainītis faili ar 1 papildinājumiem un 0 dzēšanām
  1. 1 0
      Playground/js/monacoCreator.js

+ 1 - 0
Playground/js/monacoCreator.js

@@ -182,6 +182,7 @@ class MonacoCreator {
             readOnly: true,
             theme: this.parent.settingsPG.vsTheme,
             contextmenu: false,
+            fontSize: this.parent.settingsPG.fontSize
         }
        
         const diffEditor = monaco.editor.createDiffEditor(diffView, diffOptions);