[jhbuild: 8/60] [gui] set window icon

[Frederic Peters <fpeters src gnome org>]

commit b3f353d3bd141495110f4253b612ca14a3b66f85
Author: Frédéric Péters <fpeters 0d be>
Date:   Sat May 16 20:41:05 2009 +0200

    [gui] set window icon
---
 jhbuild/frontends/gtkui.py |    9 +++++++++
 1 files changed, 9 insertions(+), 0 deletions(-)

diff --git a/jhbuild/frontends/gtkui.py b/jhbuild/frontends/gtkui.py
index bb74035..0b4c377 100644
--- a/jhbuild/frontends/gtkui.py
+++ b/jhbuild/frontends/gtkui.py
@@ -53,6 +53,15 @@ class AppWindow(gtk.Window, buildscript.BuildScript):
         buildscript.BuildScript.__init__(self, config)
         self.config = config
         gtk.Window.__init__(self)
+        theme = gtk.icon_theme_get_default()
+        gtk.window_set_default_icon_list(
+                theme.load_icon('applications-development', 16, ()),
+                theme.load_icon('applications-development', 24, ()),
+                theme.load_icon('applications-development', 32, ()),
+                theme.load_icon('applications-development', 48, ()),
+                theme.load_icon('applications-development', 64, ()),
+                theme.load_icon('applications-development', 128, ())
+                )
         self.set_title('JHBuild')
 
         self.module_set = jhbuild.moduleset.load(config)