fixes #2581: Hide themes from menu if no themes.