10 Commits

Author	SHA1	Message	Date
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
Martin Aeschlimann	b945d3caab	[theme] rename editorPeek* -> peekView* (for #23464)	2017-03-30 16:56:37 +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
Martin Aeschlimann	94d2a5ab4b	[themes] solarized-dark polish: add colors for peek, hover (#23638)	2017-03-30 10:48:17 +02:00