From ad7d3f66db33ecbcb59a617a449b6946e1f3c62b Mon Sep 17 00:00:00 2001 From: gadomska_anna Date: Mon, 5 Mar 2007 13:51:10 +0000 Subject: [PATCH] menu bookmarks dimmed when caching git-svn-id: file:///svnroot/mdictionary/trunk@100 5bde0345-f819-0410-ac75-e5045f9217cc --- src/gui/src/ws_gui_callbacks.c | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/gui/src/ws_gui_callbacks.c b/src/gui/src/ws_gui_callbacks.c index bdd58eb..fbaa248 100644 --- a/src/gui/src/ws_gui_callbacks.c +++ b/src/gui/src/ws_gui_callbacks.c @@ -177,7 +177,9 @@ void ws_gui_signal_hander (GError *error, GArray *words, gpointer user_data) gtk_widget_set_sensitive( GTK_WIDGET(ws_gui_app->ws_gui_menu->ws_gui_menu_search), FALSE); - + gtk_widget_set_sensitive( + GTK_WIDGET(ws_gui_app->ws_gui_menu->ws_gui_menu_bookmarks), + FALSE); gtk_widget_set_sensitive( GTK_WIDGET(ws_gui_app->ws_gui_w_list->ws_gui_view), FALSE); @@ -197,6 +199,9 @@ void ws_gui_signal_hander (GError *error, GArray *words, gpointer user_data) GTK_WIDGET(ws_gui_app->ws_gui_menu->ws_gui_menu_search), TRUE); gtk_widget_set_sensitive( + GTK_WIDGET(ws_gui_app->ws_gui_menu->ws_gui_menu_bookmarks), + TRUE); + gtk_widget_set_sensitive( GTK_WIDGET(ws_gui_app->ws_gui_w_list->ws_gui_view), TRUE); -- 1.7.9.5