Log Message:
gummi: update to 0.8.3.

Gummi 0.8.3 (April 29th, 2022):

    Bugs fixed:
    * Multiple fixes to typesetter parsing
    * Fixed some warnings

Gummi 0.8.2 (May 25th, 2021):

    Bugs fixed:
    * Prevent losing preview pane position on error
    * Fix issues with certain font (styles) for editor
    * Fix spell checking using enchant version 2
    * Fix regression exit crash in certain situations
    * Synctex fix for filenames with special chars
    * Re-implemented right panel toggling
    * Several memory leaks plugged

Gummi 0.8.1 (January 26th, 2020):

    Bugs fixed:
    * Fix racing bug causing random deadlocks

Gummi 0.8.0 (December 19th, 2019):

    Features added:
    * Migrated codebase GTK2->GTK3
    * Open multiple files at once from command line
    * Replaced use of old bundled synctex (for system synctex)
    * Monitor document for external changes
    * Automatically scroll build log to end
    * Allow editor themes/styles from a custom filepath
    * Visual improvements to file saving dialog
    * Remember preview scroll position and zoom mode per tab

    Bugs fixed:
    * Replace all is now one action for sane undo/redo'ing
    * Fix erroneous return code for makeindex
    * Fix gtkspell init failure when EN language unavailable
    * Fix inconsistent wholeword text searching
    * Build script fixes for MacOSX
    * Show statusbar message when PDF creation fails
    * Fix rare hang on gummi exit
    * Now suggests file extension on save window
    * Run bibtex menu item no longer disabled after running
    * Replaced multiple homebrew functions with glib
    * Fix jumping editor caret on closing search
    * Allow using synctex when using rubber
    * A multitude of minor fixes