diff options
| author | Marco Pesenti Gritti <mpg@redhat.com> | 2006-04-21 02:49:00 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <mpg@redhat.com> | 2006-04-21 02:49:00 (GMT) |
| commit | 2f02f00a9363f489c74c4d6e4e190bc93332645f (patch) | |
| tree | fcc5d09356986467540bf6bd3087793ed56afb43 | |
| parent | 2d21e0b2662c27c68e567c562e8b13b689db3439 (diff) | |
Fix tabs size, hack from epiphany/gedit
| -rwxr-xr-x | shell/src/shell.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/shell/src/shell.py b/shell/src/shell.py index 2b2b414..236efdb 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() |