From 2f02f00a9363f489c74c4d6e4e190bc93332645f Mon Sep 17 00:00:00 2001 From: Marco Pesenti Gritti Date: Thu, 20 Apr 2006 22:49:00 -0400 Subject: [PATCH] Fix tabs size, hack from epiphany/gedit --- shell/src/shell.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/shell/src/shell.py b/shell/src/shell.py index 2b2b4141..236efdb0 100755 --- a/shell/src/shell.py +++ b/shell/src/shell.py @@ -42,6 +42,9 @@ class ActivityHost(dbus.service.Object): self.tab_label.show() self.tab_close_button = gtk.Button() + settings = self.tab_close_button.get_settings() + [w, h] = gtk.icon_size_lookup_for_settings(settings, gtk.ICON_SIZE_MENU) + self.tab_close_button.set_size_request(w + 2, h + 2) close_image = gtk.Image() close_image.set_from_stock (gtk.STOCK_CLOSE, gtk.ICON_SIZE_MENU) close_image.show()