* monokai-color-theme.json: treat Python comment string blocks
...as comments too
* Update *all* themes to consider Python block string comments as comments
modified: extensions/theme-abyss/themes/abyss-color-theme.json
modified: extensions/theme-defaults/themes/dark_vs.json
modified: extensions/theme-defaults/themes/hc_black.json
modified: extensions/theme-defaults/themes/hc_light.json
modified: extensions/theme-defaults/themes/light_vs.json
modified: extensions/theme-kimbie-dark/themes/kimbie-dark-color-theme.json
modified: extensions/theme-monokai-dimmed/themes/dimmed-monokai-color-theme.json
modified: extensions/theme-monokai/themes/monokai-color-theme.json
modified: extensions/theme-quietlight/themes/quietlight-color-theme.json
modified: extensions/theme-red/themes/Red-color-theme.json
modified: extensions/theme-solarized-dark/themes/solarized-dark-color-theme.json
modified: extensions/theme-solarized-light/themes/solarized-light-color-theme.json
modified: extensions/theme-tomorrow-night-blue/themes/tomorrow-night-blue-color-theme.json
* Update all changes to use "string.quoted.docstring"
...instead of "string.quoted.docstring.multi.python", per
@aeschli's request here:
https://github.com/microsoft/vscode/pull/182162#issuecomment-1545296640
This way the comment formatting applies to *all* language quoted
docstrings, instead of just to Python.
* bring back python colorize tests
---------
Co-authored-by: Martin Aeschlimann <martinae@microsoft.com>
As stated in the docs for "editor.findMatchHighlightBackground":
"The color must not be opaque so as not to hide underlying decorations."
I've simply added a 0.6 opacity to the color so that it doesn't obscure the selection background.
* 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
* 💄
