|
|
@ -17,6 +17,8 @@ import * as monaco from 'monaco-editor'
|
|
|
|
|
|
|
|
|
|
|
|
import { fromStore, toStore } from 'educoder'
|
|
|
|
import { fromStore, toStore } from 'educoder'
|
|
|
|
import './TPIMonacoConfig'
|
|
|
|
import './TPIMonacoConfig'
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
// https://microsoft.github.io/monaco-editor/playground.html#customizing-the-appearence-exposed-colors
|
|
|
|
monaco.editor.defineTheme('myCoolTheme', {
|
|
|
|
monaco.editor.defineTheme('myCoolTheme', {
|
|
|
|
base: 'vs-dark',
|
|
|
|
base: 'vs-dark',
|
|
|
|
inherit: true,
|
|
|
|
inherit: true,
|
|
|
@ -35,6 +37,8 @@ monaco.editor.defineTheme('myCoolTheme', {
|
|
|
|
// 'input.border': '#ffffff',
|
|
|
|
// 'input.border': '#ffffff',
|
|
|
|
'editor.lineHighlightBorder': '#222c34', // .current-line
|
|
|
|
'editor.lineHighlightBorder': '#222c34', // .current-line
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
// 'editor.selectionBackground': '#FFFF0030',
|
|
|
|
|
|
|
|
// 'editor.selectionHighlightBackground' :'#0000FFFF',
|
|
|
|
}
|
|
|
|
}
|
|
|
|
});
|
|
|
|
});
|
|
|
|
|
|
|
|
|
|
|
|