GNOME Bugzilla – Bug 722861
Update on the fly the structure when the document is modified
Last modified: 2018-02-23 16:19:54 UTC
So the refresh button would not be required anymore.
To have a clean implementation for this, it requires quite a lot of work. First, it would be nice to have an AST, see: https://wiki.gnome.org/Projects/GtkSourceView/CodeFolding And use GtkSourceRegion.
-- GitLab Migration Automatic Message -- This bug has been migrated to GNOME's GitLab instance and has been closed from further activity. You can subscribe and participate further through the new bug through this link to our GitLab instance: https://gitlab.gnome.org/GNOME/gnome-latex/issues/12.