diff options
| author | Michael Davis | 2022-08-31 16:20:55 +0000 |
|---|---|---|
| committer | GitHub | 2022-08-31 16:20:55 +0000 |
| commit | 93c6a337c4f139ce620257fef79f66cf48516d5c (patch) | |
| tree | 46e4020a50afba2a767dad5104dc73011e5a3594 /runtime/queries/slint/locals.scm | |
| parent | 83f177d2701b0ec58abcb47c2a1ee133e72342e4 (diff) | |
Avoid command execution hooks on closed docs (#3613)
Fixes a panic with a config like:
[keys.normal.space]
x = [":buffer-close"]
by bailing out of the command-execution handling if the document
doesn't exist after handling a command.
Diffstat (limited to 'runtime/queries/slint/locals.scm')
0 files changed, 0 insertions, 0 deletions