Alex Dima
|
34e7a220c8
|
Avoid shipping unnecessary files
|
2018-09-19 19:53:46 +02: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
|
24b5f19385
|
[themes] Solarized Dark selection color has no enough contrast. Fixes #48106
|
2018-05-02 12:09:56 +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 |
|
Martin Aeschlimann
|
330ae7abfc
|
Merge pull request #33820 from Ikuyadeu/patch-1
Fix word highlighting Solarized Dark theme #28343
|
2017-09-22 16:15:14 +02:00 |
|
YukiUeda
|
b9bf9c360a
|
Delete comment out
|
2017-09-20 20:58:33 +09: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 |
|
Yuki Ueda
|
0ebf49bf3c
|
Fix word highlighting Solarized Dark theme #28343
|
2017-09-05 11:49:30 +09:00 |
|
Daniel Imms
|
df9ef66019
|
Increase contrast of bright black in solarized terminal
Fixes #28288
|
2017-06-17 02:03:44 -07:00 |
|
Daniel Imms
|
4c2b9a6917
|
Fix solarized terminal colors
Fixes #28288
|
2017-06-13 11:30:24 -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
|
841d9ae060
|
💄
|
2017-05-08 19:59:14 +02:00 |
|
Daniel Imms
|
9d5987e8f6
|
Add terminal colors for solarized themes
Fixes #26065
|
2017-05-05 10:23:29 -07: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 |
|
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 |
|
Benjamin Pasero
|
4fc164cf9d
|
theming - quick open group label and separator
|
2017-04-19 14:49:03 +02:00 |
|
Martin Aeschlimann
|
c74305cf64
|
Find widget no longer themed. Fixes #24954
|
2017-04-19 11:36:50 +02:00 |
|
Benjamin Pasero
|
ea81c98e6d
|
theming id changes
|
2017-03-30 11:27:52 -07:00 |
|