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

..

js

angular: remove sourceMappingURL comments

2022-03-26 17:14:09 -07:00

partials

Webconfig: Fix quote color also in the theme list

2022-04-22 19:52:04 +02:00

sample_prompts

Fix format string

2022-06-08 21:23:43 +02:00

themes

themes: Add missing colors from the default theme

2022-07-19 17:03:00 +02:00

delete.png

Lossless recompress of images with pngcrush+zopfli

2016-06-18 10:03:26 -07:00

favicon.png

Add favicon for web config

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

fishconfig.css

fish_config: Let tabs wrap

2022-03-26 22:54:17 +01:00

index.html

fish_config: HTML5 doctype

2022-03-26 13:27:22 -07:00

webconfig.py

Restyle codebase

2022-06-16 18:43:28 +02:00