From c7601bdb9a8329a2607950fafa95ca2934c48b69 Mon Sep 17 00:00:00 2001
From: Christian Dywan <christian@twotoasts.de>
Date: Thu, 3 Dec 2009 00:06:53 +0100
Subject: [PATCH] Use Preferences icon for Tools if used in the toolbar

---
 midori/midori-browser.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/midori/midori-browser.c b/midori/midori-browser.c
index 3016cdb1..4c8d07e8 100644
--- a/midori/midori-browser.c
+++ b/midori/midori-browser.c
@@ -5746,6 +5746,7 @@ midori_browser_init (MidoriBrowser* browser)
     action = g_object_new (KATZE_TYPE_ARRAY_ACTION,
         "name", "Tools",
         "label", _("_Tools"),
+        "stock-id", GTK_STOCK_PREFERENCES,
         "array", katze_array_new (KATZE_TYPE_ITEM),
         NULL);
     g_object_connect (action,