16 Commits

Author	SHA1	Message	Date
Alex Dima	0100518547	Highlight active indent guide (closes #14017)	2018-04-18 18:31:28 +02:00
Benjamin Pasero	1dcdaccbcc	light theme - assign a lighter input placeholder color	2018-03-19 18:10:00 +01:00
Benjamin Pasero	e5f4bcb4ac	slight color tweak for light theme	2018-01-04 11:42:16 +01:00
Christopher Leidigh	4173c6478d	🔧 Monokai Dimmed & Light Themes - Increase hover contrast. Fixes: #40731, #40732 (#40914) ... * Monokai Dimmed & Light Themes - Increase foreground, hover contrast * Increase listHover contrast Monokai Dimmed, Light themes	2018-01-03 14:27:13 -05:00
Benjamin Pasero	712c489f5a	Do not use special color for multi root workspace (fixes #31007)	2017-07-19 18:40:35 +02:00
Benjamin Pasero	5a603d926b	mrw: only set status bar color for our default theme (light & dark)	2017-07-18 18:04:27 +02:00
Benjamin Pasero	52212f2a2e	💄	2017-05-19 12:21:36 +02:00
Benjamin Pasero	f97acb341c	theming - inherit badge colors in activity bar	2017-05-09 10:14:19 +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
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	b008858740	[theme] suggest widget	2017-04-13 22:07:14 +02:00
Martin Aeschlimann	658643a31c	[theme] rename editorGuide -> editorIndentGuides (for #23464)	2017-03-30 16:24:05 +02:00
Martin Aeschlimann	57ac341cfd	[theme] rename editorSelectionHighlightColor -> editorSelectionHighlight (For #23464)	2017-03-30 11:38:12 +02:00
Martin Aeschlimann	cfb44d5566	[themes] do default computations in color definition defaults	2017-03-20 11:36:29 +01:00
Martin Aeschlimann	8ad8151abc	[themes] convert default themes to new format	2017-03-09 16:32:59 +01:00