User interface themes
Last modified: 08 March 2021
note
The interface theme is not the same as the color scheme, which defines the colors, fonts, and syntax-highlight for various text resources: the source code, search results, and so on.
note
The interface theme is not the same as the color scheme, which defines the colors, fonts, and syntax-highlight for various text resources: the source code, search results, and so on.
Thanks for your feedback!