Gedit 3.9.4 Uses the GtkSourceView Search and Replace API

Gedit 3.9.4 uses the GtkSourceView search and replace API, displays the current occurrence position in the search entry and the number of search occurrences, fixes tab groups, and deprecates the gedit search and replace API. Moreover, various improvements and bugfixes were added in this development release of Gedit, thanks to Shobha Tyagi, Garrett Regier, Ignacio Casal Quinteiro, William Jon McCann, Paolo Borelli, and Matthias Clasen.