Rob Lourens
|
0405841876
|
Tweak coloring and spacing in new settings editor #106897
|
2020-09-23 17:28:04 -05:00 |
|
Benjamin Pasero
|
82d953a731
|
pinned tabs - add a tab.lastPinnedBorder color
|
2020-09-10 10:51:31 +02:00 |
|
Miguel Solorio
|
8409851de0
|
Update default sidebar section header colors (fixes #93764)
|
2020-04-20 10:30:40 -07:00 |
|
Martin Aeschlimann
|
41a4adb47b
|
[themes] opt-in to semanticHighlighting
|
2020-03-13 21:55:39 +01:00 |
|
Miguel Solorio
|
1d6956c37c
|
Update remote background defaults
|
2019-05-03 20:11:20 -07:00 |
|
SteVen Batten
|
70b90231ce
|
update built-in dark themes as menus look pale (#59123)
|
2018-09-24 09:55:00 -07:00 |
|
Miguel Solorio
|
bcf4c3185b
|
Add missing comma
|
2018-07-23 10:01:04 -07:00 |
|
Miguel Solorio
|
32cf6eb0fa
|
Merge branch 'master' into misolori/a11y
|
2018-07-23 09:38:00 -07:00 |
|
Rob Lourens
|
888bd5377d
|
Fix #53908 - make settings tree themeable, add default colors
|
2018-07-11 18:30:24 -07:00 |
|
misolori
|
479855f9cd
|
Update colors to meet color contrast ratio, fixes #51831
|
2018-07-05 16:52:53 -07:00 |
|
Alex Dima
|
0100518547
|
Highlight active indent guide (closes #14017)
|
2018-04-18 18:31:28 +02:00 |
|
Benjamin Pasero
|
712c489f5a
|
Do not use special color for multi root workspace (fixes #31007)
|
2017-07-19 18:40:35 +02:00 |
|
Benjamin Pasero
|
5a603d926b
|
mrw: only set status bar color for our default theme (light & dark)
|
2017-07-18 18:04:27 +02:00 |
|
Benjamin Pasero
|
52212f2a2e
|
💄
|
2017-05-19 12:21:36 +02:00 |
|
Benjamin Pasero
|
f97acb341c
|
theming - inherit badge colors in activity bar
|
2017-05-09 10:14:19 +02:00 |
|
Benjamin Pasero
|
e7ff4c373f
|
Add workbench/editor colors to our built in themes (fixes #25327)
|
2017-04-29 15:01:44 +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
|
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
|
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 |
|