GNOME Bugzilla – Bug 732946
Update GtkSourceView vapi
Last modified: 2014-07-13 09:28:39 UTC
There is a new API in GtkSourceView, so the vapi should be updated. Without the new vapi, gedit cannot build its vapi (the gedit vapi has been migrated upstream, in the gedit module). Probably a better solution for the future is to move the gtksourceview vapi upstream, so such problems are avoided. Feel free to provide a patch for gtksourceview.
commit 245cef488b837160aeb731440601b0dfabf8f718 Author: Evan Nemerson <evan@nemerson.com> Date: Wed Jul 9 09:55:53 2014 -0700 bindings: update GIR-based bindings to latest git This problem has been fixed in the development version. The fix will be available in the next major software release. Thank you for your bug report.