fish-shell/doc_src
Fabian Boehm e45bddcbb1 __fish_cursor_xterm: Ignore unknown cursor settings
This prevents leaking the escape sequence by printing nonsense, and it
also allows disabling cursor setting by just setting the variable to
e.g. empty.

And if we ever added any shapes, it would allow them to be used on new
fish and ignored on old

Fixes #9698
2023-03-31 20:07:54 +02:00
..
cmds Fix typo 2023-03-03 19:25:17 +01:00
python_docs_theme docs: Prevent overflow for narrow screens 2023-03-27 17:21:09 +02:00
commands.rst docs: Some work on commands 2022-12-19 19:39:47 +01:00
completions.rst docs: Use :doc: role when linking to commands 2022-09-24 10:56:43 +02:00
conf.py Bump copyright year 2023-01-06 18:26:21 +08:00
design.rst docs: Fix typos 2022-09-17 21:31:06 +08:00
faq.rst docs: Use :doc: role when linking to commands 2022-09-24 10:56:43 +02:00
fish_for_bash_users.rst docs: Make some code lines shorter 2023-02-15 18:50:28 +01:00
fish_indent_lexer.py docs: restore default highlighting keywords and options in HTML 2022-01-16 14:07:19 +01:00
fish_synopsis.py docs synopsis: add HTML highlighing and automate manpage markup 2022-01-19 22:56:41 +08:00
index.rst docs/index: update some formatting from #9482 2023-02-21 21:17:26 +08:00
interactive.rst __fish_cursor_xterm: Ignore unknown cursor settings 2023-03-31 20:07:54 +02:00
language.rst docs: Make some code lines shorter 2023-02-15 18:50:28 +01:00
license.rst Bump copyright year 2023-01-06 18:26:21 +08:00
relnotes.rst docs: call the CHANGELOG "release notes" 2021-02-25 22:46:24 +08:00
tutorial.rst docs: Some more in the intro sections 2022-12-27 15:22:17 +01:00