Mirrors/fish-shell
2
0
Fork 0
mirror of https://github.com/fish-shell/fish-shell synced 2024-12-27 21:33:09 +00:00
Code Issues Projects Releases Packages Wiki Activity
fish-shell/share/tools/web_config
History
Aaron Gyes 00e32a0909 Use fonts found on terminals for the web config. 
Instead of just using Courier New across the board, have the
browser try several likely available fonts before defaulting
to the system's "monospace".

Thanks @MarkGriffiths
Fixes #2924
2016-05-18 11:21:14 -07:00
..
js Remove "w/o Background Color" text from Set Theme button in fish_config 2016-03-02 15:02:28 -08:00
partials Tweak language and styling of background color text in fish_config 2016-01-14 23:16:34 -08:00
sample_prompts Stringify many completions and functions, with --invert stringification. 2016-04-08 10:49:29 +08:00
delete.png pngquant delete.png, saving ~1.4 KB 2015-07-12 15:09:24 -07:00
favicon.png Add favicon for web config 2015-07-12 15:06:56 -07:00
fishconfig.css Use fonts found on terminals for the web config. 2016-05-18 11:21:14 -07:00
index.html Add favicon for web config 2015-07-12 15:06:56 -07:00
webconfig.py fix typo in webconfig.py comment 2016-05-11 19:51:08 -07:00