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 |
|
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
|
84071e3cfc
|
Run json formatter on a few builtin themes
|
2017-10-24 11:34:21 -07:00 |
|
Matt Bierner
|
43cb3b41ac
|
Continue tweaking default dark and light colorization for escape characters and regular expressions
|
2017-09-13 10:40:07 -07:00 |
|
Matt Bierner
|
bba374c79b
|
Colorize python placeholders in strings
|
2017-09-12 18:59:00 -07: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
|
dc2f6ec2a5
|
Improve colorization of embedded start end puctuators across languages
|
2017-09-12 09:49:40 -07:00 |
|
Matt Bierner
|
33ec299b85
|
Reset Styling for meta.embedded for other themes
|
2017-09-11 11:24:44 -07:00 |
|
Matt Bierner
|
3952d4ed5c
|
Convert Red theme to json
|
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 |
|
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 |
|
Daniel Imms
|
f36141ac5e
|
Remove no longer existing theme key from Red
|
2017-05-05 08:30:46 -07:00 |
|
Benjamin Pasero
|
a5d90e09c4
|
more theme updates (for #25327)
|
2017-05-02 07:50:21 +02:00 |
|
Matt Bierner
|
ef8f884a65
|
Tweak Red theme colors. Fixes #25744
|
2017-05-01 14:15:05 -07: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
|
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 |
|
Matt Bierner
|
2225ab4768
|
Fixes #25589
|
2017-04-27 17:41:49 -07:00 |
|
Matt Bierner
|
5a1cb964db
|
Fix a few red theme issues with status bar
|
2017-04-27 08:43:17 -07: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
|
e22d511362
|
fix #25426
|
2017-04-27 14:58:28 +02:00 |
|
Benjamin Pasero
|
6c2730b652
|
fix #25399
|
2017-04-27 12:13:03 +02:00 |
|
Benjamin Pasero
|
11ff12299c
|
introduce listHighlightForeground (fixes #25496)
|
2017-04-27 11:15:33 +02:00 |
|
Matt Bierner
|
d6dcd7d5fc
|
Add focus color for red theme
|
2017-04-26 17:02:17 -07:00 |
|
Matt Bierner
|
03e9b7886c
|
More tweaks to red color theme
|
2017-04-26 16:53:44 -07:00 |
|
Matt Bierner
|
bf5fd6925e
|
Work on red theme peek view Fixes #25492
|
2017-04-26 16:41:33 -07:00 |
|
Matt Bierner
|
bf31ce9b80
|
Continue themeing Red theme Fixes #25367 Fixes #25366
|
2017-04-26 15:37:53 -07:00 |
|
Matt Bierner
|
7516e31306
|
A few more small theme updates
|
2017-04-25 16:56:37 -07:00 |
|
Matt Bierner
|
1ac5dd5d76
|
More updates to red color theme
|
2017-04-25 16:49:04 -07:00 |
|
Matt Bierner
|
b4a3fcbf30
|
A bit more styling for red theme
|
2017-04-25 16:26:10 -07:00 |
|
Matt Bierner
|
2ff6277228
|
Add some basic colors for the red theme
|
2017-04-25 16:00:04 -07:00 |
|
Matt Bierner
|
66114df4b1
|
Added red-color-theme json file
|
2017-04-25 15:51:55 -07:00 |
|
kieferrm
|
f26ea0f92b
|
fix red theme for markdown
|
2016-06-14 15:01:58 +02:00 |
|
Erich Gamma
|
8f35cc4768
|
Hello Code
|
2015-11-13 14:39:38 +01:00 |
|