[libgda] Small UI improvement

[Vivien Malerba <vivien src gnome org>]

commit 0303cc8a55301ace5e646b50a84bb967a6820e2c
Author: Vivien Malerba <malerba gnome-db org>
Date:   Wed Aug 21 13:16:21 2013 +0200

    Small UI improvement

 libgda-ui/gdaui-raw-grid.c |    8 +++++---
 1 files changed, 5 insertions(+), 3 deletions(-)
---
diff --git a/libgda-ui/gdaui-raw-grid.c b/libgda-ui/gdaui-raw-grid.c
index edec6a6..d4647f8 100644
--- a/libgda-ui/gdaui-raw-grid.c
+++ b/libgda-ui/gdaui-raw-grid.c
@@ -1960,9 +1960,11 @@ tree_view_popup_button_pressed_cb (G_GNUC_UNUSED GtkWidget *widget, GdkEventButt
        gtk_menu_shell_append (GTK_MENU_SHELL (menu),
                               new_menu_item (_("_Set filter"), FALSE,
                                              G_CALLBACK (menu_set_filter_cb), grid));
-       gtk_menu_shell_append (GTK_MENU_SHELL (menu),
-                              new_menu_item (_("_Unset filter"), FALSE,
-                                             G_CALLBACK (menu_unset_filter_cb), grid));
+
+       mitem = new_menu_item (_("_Unset filter"), FALSE, G_CALLBACK (menu_unset_filter_cb), grid);
+       gtk_menu_shell_append (GTK_MENU_SHELL (menu), mitem);
+       if (!gda_data_proxy_get_filter_expr (grid->priv->proxy))
+               gtk_widget_set_sensitive (mitem, FALSE);
        
        if (sel_mode != GTK_SELECTION_NONE) {
                gtk_menu_shell_append (GTK_MENU_SHELL (menu), gtk_separator_menu_item_new ());