ruff
`ruff server`: Improve error message when a command is run on an unavailable document
#11823
Merged
Merged
`ruff server`: Improve error message when a command is run on an unavailable document #11823
snowsignal
merged
2 commits into
main
from
jane/server/exe-command-warn
MichaReiser
approved these changes
on 2024-06-11
Warn about unavailable document instead of throwing error
09c9c157
Add a show_err_msg invocation to the warning about being unable to ta…
94efad92
snowsignal
changed the title
Login to write a write a comment.
Login via GitHub