Alexander
e891e2f3d1
Add border for dirty tabs ( #59759 )
...
* Theming for dirty tabs
* Improve border for dirty tabs
1. Make it thinner
2. Add a setting to disable it
3. Use 4 colors (activeFocused, activeUnfocused, inactiveFocused, inactiveUnfocused)
4. Move part of logic
* Hot apply of setting `dirtyTabBorder`
* Rename the setting
* Add default dirty border for all themes
* 3 of the 4 colors should be derived from the one main color
* Rename `dirty` to `modified`
* Rename `modifiedActiveFocusedBorder` to `modifiedBorder`
* Add modified border color for built-in themes
* More contrast
* Applying style directly on element
* Changing only color
* Using full border
* Using existing div for border styling
* Add setting to telemetry
* Uncomment cleanup code
* tweak colors and descriptions
* 💄
2018-10-08 10:27:01 +02:00
SteVen Batten
70b90231ce
update built-in dark themes as menus look pale ( #59123 )
2018-09-24 09:55:00 -07:00
Rob Lourens
888bd5377d
Fix #53908 - make settings tree themeable, add default colors
2018-07-11 18:30:24 -07:00
Benjamin Pasero
a970588eb6
grid - retire editorGroup.background and add new colors for empty groups
2018-05-09 10:53:04 +02:00
Martin Aeschlimann
cc81646edf
Rename editorActiveLineNumber.foreground. Fixes #46848
2018-03-28 15:44:25 +02:00
Benjamin Pasero
5f07044d21
fix #45132
2018-03-06 12:41:28 +01:00
Peng Lyu
8a91e901ff
active line number adoption for dark themes from @usernamehw.
2018-02-23 10:57:41 -08:00
Matt Bierner
35c8bc4daa
Further improve colorization of embeded expressions
...
- Add groovy embedded support
- Make high contrast colorization consistent
2017-09-12 11:04:02 -07:00
Matt Bierner
33ec299b85
Reset Styling for meta.embedded for other themes
2017-09-11 11:24:44 -07:00
Benjamin Pasero
e6217c699a
adopt some new color keys in our built in themes
2017-05-30 18:06:20 +02:00
Martin Aeschlimann
64e1c20856
Kimbie builtin theme has dark curly braces. Fixes #27121
2017-05-26 09:27:34 +02:00
Benjamin Pasero
6254814d85
theming - progress bar
2017-05-10 07:51:35 +02:00
Benjamin Pasero
f97acb341c
theming - inherit badge colors in activity bar
2017-05-09 10:14:19 +02:00
Benjamin Pasero
c615b43be6
theming - badge colors ( fixes #25493 )
2017-05-09 07:58:17 +02:00
Benjamin Pasero
a5d90e09c4
more theme updates (for #25327 )
2017-05-02 07:50:21 +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
Benjamin Pasero
e22d511362
fix #25426
2017-04-27 14:58:28 +02:00
Benjamin Pasero
6c2730b652
fix #25399
2017-04-27 12:13:03 +02:00
Matt Bierner
7516e31306
A few more small theme updates
2017-04-25 16:56:37 -07:00
Martin Aeschlimann
717125b3e1
[theme] update kimbie dark
2017-04-25 22:32:23 +02:00
Martin Aeschlimann
303c841c25
[theme] convert kimbie dark
2017-04-25 16:41:15 +02:00