Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Support new selected and inactive tab highlighting editor scheme keys
Selected and inactive tabs were previously styled using the corresponding `ui.EditorTabs.*` UI themey keys. Some of these keys are now deprecated or marked as "unknown" to the UI theme scheme validator. The highlighting is now controlled using the new `TAB_SELECTED` and `TAB_SELECTED_INACTIVE` editor color scheme keys added to the IDE platform code in JetBrains/intellij-community@bf26eb8. In my opinion there are some keys that should not be placed in the editor scheme (including these both) and it feels like there is inconsistency between the UI theme API and editor color scheme API. Anyway, in order to style tabs correctly again, both new editor scheme keys have been added using the same colors like the UI theme keys. Reported by "Tom1206" (https://github.com/Tom1206) in #120 (comment) Related to GH-120 GH-126
- Loading branch information