better squigglies for cuttlefish

ZYinMD · Dec 23, 2018 · 37c57ea · 37c57ea
1 parent ebee5a9
commit 37c57ea
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/themes/sepia-from-cuttlefish.json b/themes/sepia-from-cuttlefish.json
@@ -40,7 +40,7 @@
 		"editorBracketMatch.background": "#44dd4444",
 		"editorBracketMatch.border": "#99999999",
 		"editorCursor.foreground": "#cccccc",
-		"editorError.foreground": "#fd3131aa",
+		"editorError.foreground": "#ff4444",
 		"editorGroup.border": "#ddccaa66",
 		"editorGroup.dropBackground": "#ffffff44",
 		"editorGroupHeader.tabsBackground": "#18474a",
@@ -52,6 +52,7 @@
 		"editorHoverWidget.border": "#668888",
 		"editorIndentGuide.activeBackground": "#88999999",
 		"editorIndentGuide.background": "#66666666",
+		"editorInfo.foreground": "#55ccff",
 		"editorLineNumber.activeForeground": "#999999",
 		"editorLineNumber.foreground": "#777777",
 		"editorLink.activeForeground": "#58c0f0",
@@ -66,6 +67,7 @@
 		"editorSuggestWidget.highlightForeground": "#339988",
 		"editorSuggestWidget.selectedBackground": "#33887777",
 		"editorUnnecessaryCode.border": "#fc6767",
+		"editorWarning.foreground": "#ffff00",
 		"editorWhitespace.foreground": "#77777777",
 		"editorWidget.background": "#186161",
 		"editorWidget.resizeBorder": "#288585",
@@ -196,8 +198,7 @@
 		//"editorGutter.background": "#003a40",
 		//"editorGutter.commentRangeForeground": "#c5c5c5",
 		//"editorHint.foreground": "#eeeeeeb3",
-		//"editorInfo.foreground": "#008000",
-		//"editorMarkerNavigationInfo.background": "#008000",
+		//"editorMarkerNavigationInfo.background": "#55ccff",
 		//"editorOverviewRuler.addedForeground": "#007acc99",
 		//"editorOverviewRuler.bracketMatchForeground": "#a0a0a0",
 		//"editorOverviewRuler.commonContentForeground": "#60606066",
@@ -215,7 +216,6 @@
 		//"editorOverviewRuler.wordHighlightStrongForeground": "#c0a0c0cc",
 		//"editorPane.background": "#003a40",
 		//"editorUnnecessaryCode.opacity": "#000000aa",
-		//"editorWarning.foreground": "#4d9e4d",
 		//"editorWidget.border": "#454545",
 		//"gitDecoration.conflictingResourceForeground": "#6c6cc4",
 		//"gitDecoration.ignoredResourceForeground": "#8c8c8c",