From 0645a6e85902f89a59a5a47df5f37a7b752d9548 Mon Sep 17 00:00:00 2001 From: Yann Leboulanger Date: Wed, 27 Apr 2011 17:19:42 +0200 Subject: [PATCH] allow WM to use several sizes of gajim icon so that it's nicer. Fixes #6839 --- src/gui_interface.py | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/src/gui_interface.py b/src/gui_interface.py index 4a0fa08bf..aeb11962c 100644 --- a/src/gui_interface.py +++ b/src/gui_interface.py @@ -2786,10 +2786,14 @@ class Interface: import statusicon self.systray = statusicon.StatusIcon() - pix = gtkgui_helpers.get_icon_pixmap('gajim', 32) - if pix is not None: + pixs = [] + for size in (16, 32, 48, 64, 128): + pix = gtkgui_helpers.get_icon_pixmap('gajim', size) + if pix: + pixs.append(pix) + if pixs: # set the icon to all windows - gtk.window_set_default_icon(pix) + gtk.window_set_default_icon_list(*pixs) self.init_emoticons() self.make_regexps()