mirror of
https://github.com/fish-shell/fish-shell.git
synced 2024-11-27 03:13:37 +08:00
00e32a0909
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 |
||
---|---|---|
.. | ||
web_config | ||
create_manpage_completions.py | ||
deroff.py |