From 02751ee5752280eead0be5dfdf89b0a370104b9d Mon Sep 17 00:00:00 2001 From: Christian Dywan Date: Sat, 1 Nov 2008 19:25:13 +0100 Subject: [PATCH] Simplify Download menu item and hide WebKit's item --- midori/midori-view.c | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/midori/midori-view.c b/midori/midori-view.c index a394d0ad..216aa871 100644 --- a/midori/midori-view.c +++ b/midori/midori-view.c @@ -851,13 +851,14 @@ webkit_web_view_populate_popup_cb (WebKitWebView* web_view, g_signal_connect (menuitem, "activate", G_CALLBACK (midori_web_view_menu_new_window_activate_cb), view); menuitem = (GtkWidget*)g_list_nth_data (items, 3); - /* hack to disable non-functional Download File */ - gtk_widget_set_sensitive (menuitem, FALSE); g_list_free (items); + /* hack to disable non-functional Download File + FIXME: Make sure this really is the right menu item */ + gtk_widget_hide (menuitem); if (view->download_manager && *view->download_manager) { menuitem = gtk_image_menu_item_new_with_mnemonic ( - _("Download Link with Download _Manager")); + _("_Download Link destination")); icon = gtk_image_new_from_stock (GTK_STOCK_SAVE_AS, GTK_ICON_SIZE_MENU); gtk_image_menu_item_set_image (GTK_IMAGE_MENU_ITEM (menuitem), icon);