[gnome-builder] jedi: add require_version for GIRepository



commit aebcae4a1a4de8f38f4c444adac410b5fc4ae957
Author: Christian Hergert <chergert redhat com>
Date:   Wed Apr 27 20:35:46 2016 -0700

    jedi: add require_version for GIRepository

 plugins/jedi/jedi_plugin.py |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/plugins/jedi/jedi_plugin.py b/plugins/jedi/jedi_plugin.py
index 9e1580a..b9ebc31 100644
--- a/plugins/jedi/jedi_plugin.py
+++ b/plugins/jedi/jedi_plugin.py
@@ -35,6 +35,7 @@ import os.path
 import sqlite3
 import threading
 
+gi.require_version('GIRepository', '2.0')
 gi.require_version('Gtk', '3.0')
 gi.require_version('GtkSource', '3.0')
 gi.require_version('Ide', '1.0')


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]