2 commits

Author	SHA1	Message	Date
Fabian Boehm	2dc1150e35	themes: Add missing colors from the default theme ... These are used in prompts only, and it feels weird not to have them. In practice, fish_color_host_remote would not be used at all (just because you switched from the default theme!), while fish_color_status would fall back on a different value. That'll be adjusted in the next commit.	2022-07-19 17:03:00 +02:00
Johannes Altmanninger	a8956d955f	Rename the "none" theme to "None" ... Most themes use title case, as do the (change)log entries for this theme.	2021-11-04 18:41:29 +01:00

Renamed from share/tools/web_config/themes/none.theme (Browse further)