[gnome-builder] jedi: fix icon scaling in the completion list

[Elad Alfassa <eladalfassa src gnome org>]

commit d05f83ab07b871c69cc6d128fd53d7b68e6fc9dd
Author: Elad Alfassa <elad fedoraproject org>
Date:   Sat Aug 8 19:13:24 2015 +0200

    jedi: fix icon scaling in the completion list
    
    The widget already does the scaling for us, so we don't need to scale it
    manually (otherwise it gets scaled twice)

 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 24ed503..1587129 100644
--- a/plugins/jedi/jedi_plugin.py
+++ b/plugins/jedi/jedi_plugin.py
@@ -179,7 +179,7 @@ def load_icon(context, name):
         return _icon_cache[name]
 
     window = context.props.completion.get_info_window()
-    size = 16 * window.get_scale_factor()
+    size = 16
     style_context = window.get_style_context()
     icon_theme = Gtk.IconTheme.get_default()
     icon_info = icon_theme.lookup_icon(name, size, 0)