Martin Aeschlimann
|
c725d0706a
|
[themes] revert uiTheme-> type change
|
2017-04-25 15:37:35 +02:00 |
|
Martin Aeschlimann
|
c3984ce5ef
|
[themes] add type to color theme file
|
2017-04-25 12:34:20 +02:00 |
|
Martin Aeschlimann
|
b008858740
|
[theme] suggest widget
|
2017-04-13 22:07:14 +02:00 |
|
Martin Aeschlimann
|
658643a31c
|
[theme] rename editorGuide -> editorIndentGuides (for #23464)
|
2017-03-30 16:24:05 +02:00 |
|
Martin Aeschlimann
|
57ac341cfd
|
[theme] rename editorSelectionHighlightColor -> editorSelectionHighlight (For #23464)
|
2017-03-30 11:38:12 +02:00 |
|
Martin Aeschlimann
|
cfb44d5566
|
[themes] do default computations in color definition defaults
|
2017-03-20 11:36:29 +01:00 |
|
Martin Aeschlimann
|
8ad8151abc
|
[themes] convert default themes to new format
|
2017-03-09 16:32:59 +01:00 |
|