Benjamin Pasero
|
a970588eb6
|
grid - retire editorGroup.background and add new colors for empty groups
|
2018-05-09 10:53:04 +02:00 |
|
Alex Dima
|
0100518547
|
Highlight active indent guide (closes #14017)
|
2018-04-18 18:31:28 +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 |
|
Martin Aeschlimann
|
8bd41ceeca
|
built-in extensions: version to 1.0.0 (for #43978)
|
2018-02-27 15:16:07 +01:00 |
|
Peng Lyu
|
8a91e901ff
|
active line number adoption for dark themes from @usernamehw.
|
2018-02-23 10:57:41 -08:00 |
|
Sandeep Somavarapu
|
d321ced195
|
#43978 Use nls
|
2018-02-19 18:38:12 +01:00 |
|
Sandeep Somavarapu
|
eed7399a14
|
#43978 Add more details to theme extensions
|
2018-02-19 18:10:39 +01: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
|
089bd8980b
|
Revert "theming - remove panel.background as we currently do not support it end to end"
This reverts commit 3c1f7878b2 .
|
2017-06-01 19:38:00 +02:00 |
|
Benjamin Pasero
|
e6217c699a
|
adopt some new color keys in our built in themes
|
2017-05-30 18:06:20 +02:00 |
|
Benjamin Pasero
|
3c1f7878b2
|
theming - remove panel.background as we currently do not support it end to end
|
2017-05-29 10:50: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
|
2b73072d2e
|
theme - get rid of list.focusAndSelectionBackground
|
2017-04-28 20:03:43 +02:00 |
|
Benjamin Pasero
|
8382490bda
|
theme - get rid of list.focusAndSelectionForeground
|
2017-04-28 19:26:04 +02:00 |
|
Benjamin Pasero
|
830b94b2c1
|
themes - get rid of tab.activeWithInactiveEditorGroupForeground and inactiveWithInactiveEditorGroupForeground
|
2017-04-28 16:16:44 +02:00 |
|
Benjamin Pasero
|
f042999623
|
themes - get rid of masterDetailsEditor.border
|
2017-04-28 15:57: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
|
31205bdeb8
|
use more transparency (for #25482)
|
2017-04-28 08:53:29 +02:00 |
|
Martin Aeschlimann
|
7516e0eff3
|
Theming: diff colors should be more specific. Fixes #25544
|
2017-04-27 21:54:54 +02:00 |
|
Martin Aeschlimann
|
f3a9b0a01a
|
peekViewTitle and peekViewTitleInfo names should end with "Foreground" Fixes #25481
|
2017-04-27 21:15:29 +02:00 |
|
Benjamin Pasero
|
0f090fc429
|
fix #25379
|
2017-04-27 17:23:36 +02:00 |
|
Benjamin Pasero
|
3f0c6c8a5b
|
focusedElementOutline => focusBorder
|
2017-04-27 15:23:54 +02:00 |
|
Benjamin Pasero
|
662c112aec
|
panelTopBorder => panelBorder
|
2017-04-27 15:00:25 +02:00 |
|
Benjamin Pasero
|
e22d511362
|
fix #25426
|
2017-04-27 14:58:28 +02:00 |
|
Benjamin Pasero
|
8a34b0ebd7
|
editorHeaderBackground => editorGroupHeaderBackground
|
2017-04-27 14:58:28 +02:00 |
|
Martin Aeschlimann
|
f78b54c2d0
|
Remove listInactiveFocusBackground. Fixes #25461
|
2017-04-27 12:15:59 +02:00 |
|
Benjamin Pasero
|
6c2730b652
|
fix #25399
|
2017-04-27 12:13:03 +02:00 |
|
Benjamin Pasero
|
00e32e97de
|
fix #25483
|
2017-04-27 11:49:05 +02:00 |
|
Benjamin Pasero
|
11ff12299c
|
introduce listHighlightForeground (fixes #25496)
|
2017-04-27 11:15:33 +02:00 |
|
Benjamin Pasero
|
b3141c941e
|
solarized dark (for #25327)
|
2017-04-26 18:45:04 +02:00 |
|
Benjamin Pasero
|
eb7cf703bd
|
abyss theme (for #25327)
|
2017-04-26 10:53:34 +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
|
59a41a7cd6
|
[theme] rename editorFindWidgetBackground to editorWidgetBackground, add editorWidgetShadow and use in findOptionsWidget
|
2017-04-12 16:25:26 +02:00 |
|
Benjamin Pasero
|
ea81c98e6d
|
theming id changes
|
2017-03-30 11:27:52 -07:00 |
|
Martin Aeschlimann
|
b945d3caab
|
[theme] rename editorPeek* -> peekView* (for #23464)
|
2017-03-30 16:56:37 +02:00 |
|
Martin Aeschlimann
|
9ee6801d05
|
[theme] rename editorPeekResultsSelected -> editorPeekResultsSelection (for #23464)
|
2017-03-30 16:33:03 +02:00 |
|
Martin Aeschlimann
|
658643a31c
|
[theme] rename editorGuide -> editorIndentGuides (for #23464)
|
2017-03-30 16:24:05 +02:00 |
|
Martin Aeschlimann
|
c9f06d862f
|
[theme] rename editorPeekBorders -> editorPeekBorder (for #23464)
|
2017-03-30 12:21:08 +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
|
6bac4340f3
|
[theme] rename peek view match color names (for #23464)
|
2017-03-30 11:51:43 +02:00 |
|
Benjamin Pasero
|
1fa676a0e3
|
consistent color names (#23464)
|
2017-03-29 06:58:19 -07:00 |
|
Martin Aeschlimann
|
1e17b32406
|
[theme] polish Abyss theme (fixes #23214)
|
2017-03-27 15:51:45 +02:00 |
|