auto scroll to selected line

2022-01-08 22:01:01 +00:00
parent ccbcd9182d
commit 65be041f77
2 changed files with 22 additions and 18 deletions
--- a/src/style/themes.js
+++ b/src/style/themes.js
@@ -157,7 +157,7 @@ export function makeMonacoTheme(theme) {
      },
      {
        token: 'identifier',
-        foreground: theme.editor.function.substring(1),
+        foreground: theme.editor.primary.substring(1),
      },
      {
        token: 'type',
@@ -167,10 +167,6 @@ export function makeMonacoTheme(theme) {
        token: 'comment',
        foreground: theme.editor.comment.substring(1),
      },
-      {
-        token: 'identifier.java',
-        foreground: theme.editor.primary.substring(1),
-      },
    ],
    colors: {
      'editor.background': theme.editor.background,