Don't show toolbar preferences if running a DE

Let's assume that modern desktops have a tool to adapt the
toolbar style.

Fixes: https://bugs.launchpad.net/midori/+bug/711435

diff --git a/midori/midori-preferences.c b/midori/midori-preferences.c
index 4837e815f1fd1f136b079e6d5e93fc728f2fb344..5d3cfdd078c0eae01b5dc1d81e9e8382fb9d0c16 100644 (file)
--- a/midori/midori-preferences.c
+++ b/midori/midori-preferences.c
@@ -440,11 +440,14 @@ midori_preferences_set_settings (MidoriPreferences* preferences,
 
     /* Page "Interface" */
     PAGE_NEW (GTK_STOCK_CONVERT, _("Interface"));
-    FRAME_NEW (_("Navigationbar"));
     #if !HAVE_HILDON
-    INDENTED_ADD (katze_property_label (settings, "toolbar-style"));
-    button = katze_property_proxy (settings, "toolbar-style", NULL);
-    SPANNED_ADD (button);
+    if (!g_getenv ("DESKTOP_SESSION"))
+    {
+        FRAME_NEW (_("Navigationbar"));
+        INDENTED_ADD (katze_property_label (settings, "toolbar-style"));
+        button = katze_property_proxy (settings, "toolbar-style", NULL);
+        SPANNED_ADD (button);
+    }
     #endif
     FRAME_NEW (_("Browsing"));
     label = katze_property_label (settings, "open-new-pages-in");