Martin Aeschlimann
|
7f5ce0c5db
|
Peek view color mixup in update script
|
2017-04-28 17:59:20 +02:00 |
|
Benjamin Pasero
|
ff9f7b3baa
|
Consider to use dots instead of camel-case (fixes #25428) (#25621)
* Consider to use dots instead of camel-case (fixes #25428)
* 💄
|
2017-04-28 15:29:37 +02:00 |
|
Martin Aeschlimann
|
29b2fe53ee
|
[theme] support theme references
|
2017-04-24 22:49:26 +02:00 |
|
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 |
|