1
0
mirror of https://git.savannah.gnu.org/git/emacs.git synced 2024-12-01 08:17:38 +00:00
emacs/admin/notes
Yuan Fu 8a6bdf88b4
Call treesit_record_change in insert_from_gap_1
Before this change, insert_from_gap calls treesit_record_change but
insert_from_gap_1 doesn't.  However, insert_from_gap_1 is a public
function and is called in many other places outside of insdel.c.  This
could lead to tree-sitter's parse tree becoming out-of-sync with the
buffer content.

This change might fix bug#60650.

* src/insdel.c (insert_from_gap_1): Call treesit_record_change.
(insert_from_gap): Remove call to treesit_record_change.

* admin/notes/tree-sitter/treesit_record_change: New file.
2023-02-02 18:31:19 -08:00
..
tree-sitter Call treesit_record_change in insert_from_gap_1 2023-02-02 18:31:19 -08:00
bug-triage ; Fix typos 2022-11-20 12:59:39 +01:00
bugtracker Don't use some obsolete names in documentation 2021-10-04 03:26:11 +02:00
copyright ; Add 2023 to copyright years. 2023-01-01 05:31:12 -05:00
documentation maint: shorten https://lists.gnu.org/archive/html/... links 2017-11-25 22:48:12 -08:00
elpa * admin/notes/elpa: Update to match recent Gnu ELPA changes 2021-01-11 09:18:31 -08:00
emba ; Add 2023 to copyright years. 2023-01-01 05:31:12 -05:00
git-workflow ; * admin/notes/git-workflow: Adding "Backport:" is optional. 2022-12-22 13:38:58 -07:00
hydra ; Add 2023 to copyright years. 2023-01-01 05:31:12 -05:00
multi-tty ; Add 2023 to copyright years. 2023-01-01 05:31:12 -05:00
newfile
nextstep Update some URLs 2019-09-23 00:12:52 -07:00
repo Improve and extend admin/git-bisect-start 2022-12-18 11:48:58 +01:00
spelling ; Fix typos: prefer American spelling 2022-07-13 13:04:22 +02:00
tags maint: shorten https://lists.gnu.org/archive/html/... links 2017-11-25 22:48:12 -08:00
trailing-whitespace
unicode ; Add 2023 to copyright years. 2023-01-01 05:31:12 -05:00
versioning maint: shorten https://lists.gnu.org/archive/html/... links 2017-11-25 22:48:12 -08:00
www ; Add 2023 to copyright years. 2023-01-01 05:31:12 -05:00
years ; Add 2023 to copyright years. 2023-01-01 05:31:12 -05:00