Alexander 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
..
themes	Add border for dirty tabs (#59759)	2018-10-08 10:27:01 +02:00
.vscodeignore	Avoid shipping unnecessary files	2018-09-19 19:53:46 +02:00
OSSREADME.json	Hello Code	2015-11-13 14:39:38 +01:00
package.json	built-in extensions: version to 1.0.0 (for #43978)	2018-02-27 15:16:07 +01:00
package.nls.json	#43978 Use nls	2018-02-19 18:38:12 +01:00