1e3efda93c
polish cgmanifest.json
2018-11-20 17:02:09 +01:00
9edd984da8
delete OSSREADME.json
2018-11-20 12:54:22 +01:00
347fb6347b
add all cgmanifests. Still no commitHash
2018-11-14 18:18:25 +01:00
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
34e7a220c8
Avoid shipping unnecessary files
2018-09-19 19:53:46 +02:00
a970588eb6
grid - retire editorGroup.background and add new colors for empty groups
2018-05-09 10:53:04 +02:00
cc81646edf
Rename editorActiveLineNumber.foreground. Fixes #46848
2018-03-28 15:44:25 +02:00
5f07044d21
fix #45132
2018-03-06 12:41:28 +01:00
8bd41ceeca
built-in extensions: version to 1.0.0 (for #43978 )
2018-02-27 15:16:07 +01:00
8a91e901ff
active line number adoption for dark themes from @usernamehw.
2018-02-23 10:57:41 -08:00
d321ced195
#43978 Use nls
2018-02-19 18:38:12 +01:00
eed7399a14
#43978 Add more details to theme extensions
2018-02-19 18:10:39 +01:00
84071e3cfc
Run json formatter on a few builtin themes
2017-10-24 11:34:21 -07:00
43cb3b41ac
Continue tweaking default dark and light colorization for escape characters and regular expressions
2017-09-13 10:40:07 -07:00
bba374c79b
Colorize python placeholders in strings
2017-09-12 18:59:00 -07:00
35c8bc4daa
Further improve colorization of embeded expressions
...
- Add groovy embedded support
- Make high contrast colorization consistent
2017-09-12 11:04:02 -07:00
dc2f6ec2a5
Improve colorization of embedded start end puctuators across languages
2017-09-12 09:49:40 -07:00
33ec299b85
Reset Styling for meta.embedded for other themes
2017-09-11 11:24:44 -07:00
3952d4ed5c
Convert Red theme to json
2017-09-11 11:24:44 -07:00
e6217c699a
adopt some new color keys in our built in themes
2017-05-30 18:06:20 +02:00
6254814d85
theming - progress bar
2017-05-10 07:51:35 +02:00
f97acb341c
theming - inherit badge colors in activity bar
2017-05-09 10:14:19 +02:00
c615b43be6
theming - badge colors ( fixes #25493 )
2017-05-09 07:58:17 +02:00
f36141ac5e
Remove no longer existing theme key from Red
2017-05-05 08:30:46 -07:00
a5d90e09c4
more theme updates (for #25327 )
2017-05-02 07:50:21 +02:00
ef8f884a65
Tweak Red theme colors. Fixes #25744
2017-05-01 14:15:05 -07:00
e7ff4c373f
Add workbench/editor colors to our built in themes ( fixes #25327 )
2017-04-29 15:01:44 +02:00
2b73072d2e
theme - get rid of list.focusAndSelectionBackground
2017-04-28 20:03:43 +02:00
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
2225ab4768
Fixes #25589
2017-04-27 17:41:49 -07:00
5a1cb964db
Fix a few red theme issues with status bar
2017-04-27 08:43:17 -07:00
0f090fc429
fix #25379
2017-04-27 17:23:36 +02:00
3f0c6c8a5b
focusedElementOutline => focusBorder
2017-04-27 15:23:54 +02:00
e22d511362
fix #25426
2017-04-27 14:58:28 +02:00
6c2730b652
fix #25399
2017-04-27 12:13:03 +02:00
11ff12299c
introduce listHighlightForeground ( fixes #25496 )
2017-04-27 11:15:33 +02:00
d6dcd7d5fc
Add focus color for red theme
2017-04-26 17:02:17 -07:00
03e9b7886c
More tweaks to red color theme
2017-04-26 16:53:44 -07:00
bf5fd6925e
Work on red theme peek view Fixes #25492
2017-04-26 16:41:33 -07:00
bf31ce9b80
Continue themeing Red theme Fixes #25367 Fixes #25366
2017-04-26 15:37:53 -07:00
7516e31306
A few more small theme updates
2017-04-25 16:56:37 -07:00
1ac5dd5d76
More updates to red color theme
2017-04-25 16:49:04 -07:00
b4a3fcbf30
A bit more styling for red theme
2017-04-25 16:26:10 -07:00
2ff6277228
Add some basic colors for the red theme
2017-04-25 16:00:04 -07:00
66114df4b1
Added red-color-theme json file
2017-04-25 15:51:55 -07:00
f26ea0f92b
fix red theme for markdown
2016-06-14 15:01:58 +02:00
8f35cc4768
Hello Code
2015-11-13 14:39:38 +01:00
isidor
Alexander
Alex Dima
Benjamin Pasero
Martin Aeschlimann
Peng Lyu
Sandeep Somavarapu
Matt Bierner
Daniel Imms
Benjamin Pasero
kieferrm
Erich Gamma