From bef3896ff025ae720a94a86a373e1e12358c0738 Mon Sep 17 00:00:00 2001 From: Graeme Humphries Date: Fri, 16 Mar 2012 16:43:40 -0700 Subject: [PATCH] Fixed missing icon issue. (github-4) --- crussh.py | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/crussh.py b/crussh.py index 857a3db..2f2f80b 100755 --- a/crussh.py +++ b/crussh.py @@ -166,6 +166,12 @@ class CruSSH: self.reflow(force=True) def initGUI(self): + theme = gtk.icon_theme_get_default() + icon_list = [] + if theme.has_icon("terminal"): + icon = theme.lookup_icon("terminal", 128, flags=gtk.ICON_LOOKUP_USE_BUILTIN) + if icon != None: + gtk.window_set_default_icon(icon.load_icon()) self.MainWin.set_title("crussh: " + ' '.join(self.Terminals.keys())) self.MainWin.set_role(role="crussh_main_win") self.MainWin.connect("delete-event", lambda window, event: gtk.main_quit())