[gnome-builder] jedi: fix removing of prefs at unload time

[Sébastien Lafargue <slafargue src gnome org>]

commit de1889dfe66285200b43742f5ee788380d458795
Author: Sebastien Lafargue <slafargue gnome org>
Date:   Sat Feb 13 16:03:17 2016 +0100

    jedi: fix removing of prefs at unload time

 plugins/jedi/jedi_plugin.py |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/jedi/jedi_plugin.py b/plugins/jedi/jedi_plugin.py
index 5220f51..19ae9c1 100644
--- a/plugins/jedi/jedi_plugin.py
+++ b/plugins/jedi/jedi_plugin.py
@@ -674,4 +674,4 @@ class JediPreferences(GObject.Object, Ide.PreferencesAddin):
                 None, 30)
 
     def do_unload(self, prefs):
-        self.prefs.remove(self.completion_id)
+        prefs.remove_id(self.completion_id)