fish-shell/share/tools/web_config
Fabian Homborg 08690e0303 Webconfig: Use theme's name if available
The "name" here refers to the `# name:` line from the .theme file.
That's a much more descriptive name and allows using simpler filenames.
2021-09-03 17:37:54 +02:00
..
js Webconfig: Use theme's name if available 2021-09-03 17:37:54 +02:00
partials Prompt demo: Only the unmatched quote is an error 2021-08-30 17:32:55 +02:00
sample_prompts default prompt: Set fish_color_status if unset 2021-05-01 18:59:25 +02:00
themes Add metadata to .theme files 2021-07-09 20:36:55 +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 webconfig: Remove tab top border in dark mode 2021-06-10 21:26:03 +02:00
index.html Webconfig: Let theme match help and fishshell.com 2020-12-04 17:08:45 +01:00
webconfig.py Also read home theme directory in webconfig 2021-07-14 18:56:19 +02:00