From 2f02f00a9363f489c74c4d6e4e190bc93332645f Mon Sep 17 00:00:00 2001
From: Marco Pesenti Gritti <mpg@redhat.com>
Date: Fri, 21 Apr 2006 02:49:00 +0000
Subject: Fix tabs size, hack from epiphany/gedit

---
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()
--
cgit v0.9.1