Remove underline from monokai

PlutoLang · Oct 21, 2024 · d9cc000 · d9cc000
1 parent 13a89cf
commit d9cc000
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/theme/monokai-patched.json b/src/theme/monokai-patched.json
@@ -191,14 +191,14 @@
     {
       "scope": "entity.name.type, entity.name.class, entity.name.namespace, entity.name.scope-resolution",
       "settings": {
-        "fontStyle": "underline",
+        "fontStyle": "",
         "foreground": "#A6E22E"
       }
     },
     {
       "scope": "entity.other.inherited-class",
       "settings": {
-        "fontStyle": "italic underline",
+        "fontStyle": "italic",
         "foreground": "#A6E22E"
       }
     },