[gedit] Bump GtkSourceView requirement (new search API)

[Paolo Borelli <pborelli src gnome org>]

commit c06e29b9c97c7375b708394fc510aa84df1ff386
Author: Paolo Borelli <pborelli gnome org>
Date:   Mon Jul 15 14:55:39 2013 +0200

    Bump GtkSourceView requirement (new search API)

 configure.ac |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/configure.ac b/configure.ac
index 326bce2..9fe1297 100644
--- a/configure.ac
+++ b/configure.ac
@@ -326,7 +326,7 @@ PKG_CHECK_MODULES(GEDIT, [
        glib-2.0 >= 2.28.0
        gio-2.0 >= 2.37.0
        gtk+-3.0 >= 3.9.0
-       gtksourceview-3.0 >= 3.2.0
+       gtksourceview-3.0 >= 3.9.4
        libpeas-1.0 >= 1.7.0
        libpeas-gtk-1.0 >= 1.7.0
        gsettings-desktop-schemas