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 |
|
Benjamin Pasero
|
b51bed11bf
|
theming - activityBarDragAndDropBackground
|
2017-03-26 14:38:12 -07:00 |
|
Benjamin Pasero
|
41d87c2f4a
|
theming - activity bar badges
|
2017-03-26 14:38:12 -07:00 |
|
Benjamin Pasero
|
37d0a6f5db
|
theming - debug toolbar background
|
2017-03-25 12:13:01 -07:00 |
|
Benjamin Pasero
|
40c3d0a049
|
theming - cleanup
|
2017-03-24 18:13:57 -07:00 |
|
Benjamin Pasero
|
a0a149c44a
|
theming - fix border issue when moving groups
|
2017-03-24 14:43:14 -07:00 |
|
Benjamin Pasero
|
052eabdf1f
|
theming - styleable inputbox
|
2017-03-24 09:27:21 -07:00 |
|
Martin Aeschlimann
|
4eebba084d
|
[theme] style find/replace widget
|
2017-03-23 22:44:47 +01:00 |
|
Martin Aeschlimann
|
8c95810bcd
|
[theme] marker navigation widget
|
2017-03-23 17:35:18 +01:00 |
|
Benjamin Pasero
|
ae97e9a994
|
theming - editorSideBySideBorder
|
2017-03-23 09:24:48 -07:00 |
|
Benjamin Pasero
|
236690d90c
|
💄
|
2017-03-23 07:16:25 -07:00 |
|
Martin Aeschlimann
|
4454c86977
|
[theme] linenumbers theming
|
2017-03-22 22:50:46 +01:00 |
|
Martin Aeschlimann
|
80a1033180
|
[theme] peek widget theming
|
2017-03-22 16:56:35 +01:00 |
|
Martin Aeschlimann
|
411668eb8b
|
[theme] references peek theming
|
2017-03-22 12:52:03 +01:00 |
|
Martin Aeschlimann
|
4a21888d30
|
[theme] editor hover colors
|
2017-03-21 22:48:38 +01:00 |
|
Benjamin Pasero
|
6765753c9b
|
abyss as theming testbed
|
2017-03-20 17:22:07 -07:00 |
|
Martin Aeschlimann
|
4c12a685bc
|
Diff highlighs for Abyss theme
|
2017-03-15 16:57:12 +01:00 |
|
Martin Aeschlimann
|
0e5b61e8de
|
FIx abyss theme
|
2017-03-11 00:55:10 +01:00 |
|