Martin Aeschlimann
|
658643a31c
|
[theme] rename editorGuide -> editorIndentGuides (for #23464)
|
2017-03-30 16:24:05 +02:00 |
|
Martin Aeschlimann
|
6534252837
|
[theme] rename checkedBorderColor -> inputActiveOptionBorder (for #23464)
|
2017-03-30 12:18:42 +02:00 |
|
Martin Aeschlimann
|
320a91118d
|
[theme] rename editorInvisibles -> editorWhitespaces (for #23464)
|
2017-03-30 12:18:42 +02:00 |
|
Martin Aeschlimann
|
e146a508c8
|
[theme] rename editorCurrentFindMatchHighlight -> editorFindMatch (for #23464)
|
2017-03-30 11:38:13 +02:00 |
|
Martin Aeschlimann
|
57ac341cfd
|
[theme] rename editorSelectionHighlightColor -> editorSelectionHighlight (For #23464)
|
2017-03-30 11:38:12 +02:00 |
|
Martin Aeschlimann
|
8ad8151abc
|
[themes] convert default themes to new format
|
2017-03-09 16:32:59 +01:00 |
|
Martin Aeschlimann
|
99ab6e8d7b
|
[theme] conversion script
|
2017-03-08 23:02:41 +01:00 |
|
Martin Aeschlimann
|
0049138c96
|
adding theming registry
|
2017-03-07 14:42:54 +01:00 |
|