This update for gummi fixes the following issues:

gummi was updated to version 0.8.0 (see boo#1154704):

* 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