소스 검색

Fix PG dark theme

David Catuhe 7 년 전
부모
커밋
ec7d5f911f
1개의 변경된 파일1개의 추가작업 그리고 0개의 파일을 삭제
  1. 1 0
      Playground/js/index.js

+ 1 - 0
Playground/js/index.js

@@ -701,6 +701,7 @@
 
             var oldCode = jsEditor.getValue();
             jsEditor.dispose();
+            editorOptions.theme = vsTheme;
             jsEditor = monaco.editor.create(document.getElementById('jsEditor'), editorOptions);
             jsEditor.setValue(oldCode);
             setFontSize(fontSize);