Martin Aeschlimann 57ac341cfd [theme] rename editorSelectionHighlightColor -> editorSelectionHighlight (For #23464)

2017-03-30 11:38:12 +02:00

..

dark_defaults.json

[theme] rename editorSelectionHighlightColor -> editorSelectionHighlight (For #23464)

2017-03-30 11:38:12 +02:00

dark_plus.json

[themes] convert default themes to new format

2017-03-09 16:32:59 +01:00

dark_vs.json

Improve coloring of js template strings Fixes #23111 (#23115)

2017-03-23 13:31:00 -07:00

hc_black_defaults.json

[themes] do default computations in color definition defaults

2017-03-20 11:36:29 +01:00

hc_black.json

Improve coloring of js template strings Fixes #23111 (#23115)

2017-03-23 13:31:00 -07:00

light_defaults.json

[theme] rename editorSelectionHighlightColor -> editorSelectionHighlight (For #23464)

2017-03-30 11:38:12 +02:00

light_plus.json

[themes] convert default themes to new format

2017-03-09 16:32:59 +01:00

light_vs.json

Improve coloring of js template strings Fixes #23111 (#23115)

2017-03-23 13:31:00 -07:00