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
..
solarized-light-color-theme.json	Add border for dirty tabs (#59759)	2018-10-08 10:27:01 +02:00