Johannes Altmanninger f264ee0b10 webconfig theme: rename "fish-default" theme ...

The "fish-" prefix is not needed here and it would add more noise to
a following commit which adds default-{dark,light} variants that use
24 bit RGB colors.

2025-12-14 15:44:58 +01:00

..

js

webconfig js: remove redundant code clone

2025-12-14 15:44:58 +01:00

sample_prompts

fish_prompt: remove stray initialization of fish_color_status

2025-12-14 15:44:58 +01:00

themes

webconfig theme: rename "fish-default" theme

2025-12-14 15:44:58 +01:00

favicon.png

Add favicon for web config

2015-07-12 15:06:56 -07:00

fishconfig_print.css

improved print CSS for fish_config

2023-06-10 09:47:01 +02:00

fishconfig.css

give the two pages of the functions tab individual scrollbars

2024-06-30 12:50:00 -07:00

index.html

webconfig.py: use full color names

2025-12-14 15:42:56 +01:00

webconfig.py

webconfig theme: rename "fish-default" theme

2025-12-14 15:44:58 +01:00