@@ -12,11 +12,11 @@ "selection": "hsl(210, 50%, 20%)", "selection_border": "hsl(210, 80%, 40%)", "selection_border_width": "1", "selection_corner_style": "cut", - "selection_corner_radius": "4", + "selection_corner_radius": "3", "invisibles": "hsl(210, 20%, 40%)", "highlight": "hsl(210, 100%, 60%)" }, @@ -26,10 +26,12 @@ { "name": "Options parameter", "scope": "options.parameter", "foreground": "#70B0F0", "font_style": "bold", }, { "name": "Comment", "scope": "comment", "foreground": "hsl(210, 10%, 50%)" }, { "name": "Bookmark", "scope": "bookmark", "foreground": "#A0F0FF", "background": "#0050A0", }, { "name": "Graphline", "scope": "graphline", "foreground": "hsl(0, 100%, 80%)", "background": "hsl(0, 100%, 20%)", "font_style": "bold", }, + { "name": "Graphname", "scope": "string.graphname", "foreground": "hsl(30, 100%, 80%)", "background": "hsl(0, 100%, 20%)", "font_style": "bold", }, + { "name": "Graphcode", "scope": "string.graphcode", "foreground": "hsl(180, 100%, 80%)", "background": "hsl(0, 100%, 20%)", "font_style": "bold", }, { "name": "Error message", "scope": "string.message", "foreground": "hsl(0, 50%, 65%)", }, { "name": "Error message esc", "scope": "string.message.esc", "foreground": "hsl(30, 100%, 65%)", "background": "hsl(60, 100%, 12%)", "font_style": "bold" }, { "name": "Error message URL", "scope": "string.message.url", "foreground": "hsl(180, 100%, 35%)", "background": "hsl(180, 100%, 12%)", }, { "name": "Test header", "scope": "test.header", "foreground": "hsl(150, 100%, 60%)", "font_style": "bold" }, { "name": "Test option", "scope": "test.error", "foreground": "hsl(0, 90%, 67%)", },