Theme attribute cleanup

This commit is contained in:
nickofolas 2022-01-29 22:39:13 -06:00 committed by nickofolas
parent ec0f20b14f
commit 881d4816cc

@ -15,14 +15,13 @@ export interface IScriptEditorTheme {
keyword: string; keyword: string;
comment: string; comment: string;
constant: string; constant: string;
operator: string;
error: string; error: string;
}; };
ui: { ui: {
line: string; line: string;
panel: { panel: {
bg: string; bg: string;
shadow: string; selected: string;
border: string; border: string;
}; };
selection: { selection: {
@ -47,15 +46,14 @@ export const defaultMonacoTheme: IScriptEditorTheme = {
markup: "569cd6", markup: "569cd6",
keyword: "569cd6", keyword: "569cd6",
comment: "6A9955", comment: "6A9955",
constant: "1E1E1E", constant: "569cd6",
operator: "d4d4d4",
error: "f44747" error: "f44747"
}, },
ui: { ui: {
line: "1E1E1E", line: "1E1E1E",
panel: { panel: {
bg: "252526", bg: "252526",
shadow: "252526", selected: "252526",
border: "1E1E1E" border: "1E1E1E"
}, },
selection: { selection: {
@ -75,10 +73,6 @@ export function makeTheme(theme: IScriptEditorTheme): any {
token: "identifier", token: "identifier",
foreground: theme.common.accent foreground: theme.common.accent
}, },
{
token: "operators",
foreground: theme.syntax.operator
},
{ {
token: "keyword", token: "keyword",
foreground: theme.syntax.keyword foreground: theme.syntax.keyword
@ -129,7 +123,7 @@ export function makeTheme(theme: IScriptEditorTheme): any {
}, },
{ {
token: "delimiter", token: "delimiter",
foreground: theme.common.fg + "B3" foreground: theme.common.fg
}, },
// Custom tokens // Custom tokens
{ {
@ -162,7 +156,7 @@ export function makeTheme(theme: IScriptEditorTheme): any {
["editorSuggestWidget.background", theme.ui.panel.bg], ["editorSuggestWidget.background", theme.ui.panel.bg],
["editorSuggestWidget.border", theme.ui.panel.border], ["editorSuggestWidget.border", theme.ui.panel.border],
["editorSuggestWidget.selectedBackground", theme.ui.panel.shadow], ["editorSuggestWidget.selectedBackground", theme.ui.panel.selected],
["editorHoverWidget.background", theme.ui.panel.bg], ["editorHoverWidget.background", theme.ui.panel.bg],
["editorHoverWidget.border", theme.ui.panel.border], ["editorHoverWidget.border", theme.ui.panel.border],