changed default editor dark theme

This commit is contained in:
Jan Prochazka
2022-02-21 19:28:34 +01:00
parent 7b1a6ecdf2
commit 10f34c9fe4

View File

@@ -18,8 +18,10 @@
import 'ace-builds/src-noconflict/theme-github'; import 'ace-builds/src-noconflict/theme-github';
// import 'ace-builds/src-noconflict/theme-sqlserver'; // import 'ace-builds/src-noconflict/theme-sqlserver';
import 'ace-builds/src-noconflict/theme-twilight'; // import 'ace-builds/src-noconflict/theme-twilight';
// import 'ace-builds/src-noconflict/theme-monokai'; // import 'ace-builds/src-noconflict/theme-monokai';
// import 'ace-builds/src-noconflict/theme-chaos';
import 'ace-builds/src-noconflict/theme-merbivore';
import { currentDropDownMenu, currentThemeDefinition } from '../stores'; import { currentDropDownMenu, currentThemeDefinition } from '../stores';
import _ from 'lodash'; import _ from 'lodash';
@@ -73,7 +75,7 @@
showPrintMargin: false, showPrintMargin: false,
}; };
$: theme = $currentThemeDefinition?.themeType == 'dark' ? 'twilight' : 'github'; $: theme = $currentThemeDefinition?.themeType == 'dark' ? 'merbivore' : 'github';
export function getEditor(): ace.Editor { export function getEditor(): ace.Editor {
return editor; return editor;