Suggestion: Shift the theme selection to Tools > Options > GUI

[Raindrops]

Themes are set occasionally, not on a daily basis.
Therefore they do not deserve a place in the menu system, which should only have frequently used operations.

Therefore the View > Theme option should be shifted to Tools > Options > UI.

This will declutter the menu system.

If we have user-contributed themes in the future, this will be an even better option, because the display will have to show thumbnails for all available themes, which is best handled outside a menu system.

[void]

I'll consider moving the theme menu to the options window.
Thank you for the suggestion.

You can currently set the theme under Tools -> Options -> Fonts and colors.



The plan is to add the following to this menu:
Add to themes....
Organize themes

This will allow for customizable/saveable themes.

[Raindrops]

Thanks!

IMHO a typical user will look for a themes option first, and then the colors and fonts, which fine-tunes each theme.
If both have to be accommodated in a single node, then the node should be named theme, because the colors and fonts are attributes of a theme object.

The Themes screen should also have the option to export and import themes.
That way, any user can take a backup of his themes, use it on his other computers, or share it with the community.