diff options
| author | Yuan Fu <casouri@gmail.com> | 2023-01-19 14:22:56 -0800 |
|---|---|---|
| committer | Yuan Fu <casouri@gmail.com> | 2023-01-19 14:47:25 -0800 |
| commit | 7ca71d66dc7365a3dd8dd5f20638b4fa612fdc5e (patch) | |
| tree | 4ea3d5289ec03be5444c6abe7f04447152964539 /java/org/gnu | |
| parent | b7d6bb47ee5f6a459a873c5053c2dde9df4f2e2f (diff) | |
Fix various problems in treesit-explore-mode (bug#60800)
* lisp/treesit.el:
(treesit--explorer-kill-explorer-buffer): New function.
(treesit-explore-mode):
1. Move prompt for language earlier, and terminate early if language
not available.
2. Make sure desktop-save doesn't save the explorer buffer.
3. Kill the explorer buffer when the source buffer is killed.
Diffstat (limited to 'java/org/gnu')
0 files changed, 0 insertions, 0 deletions