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