diff options
Diffstat (limited to 'src/main/tab_history.c')
| -rw-r--r-- | src/main/tab_history.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/main/tab_history.c b/src/main/tab_history.c index 8256e63..d8d325f 100644 --- a/src/main/tab_history.c +++ b/src/main/tab_history.c @@ -23,7 +23,7 @@ #include <config.h> #endif -#include <gnome.h> +#include <gtk/gtk.h> #include "gui/main_menu.h" @@ -89,9 +89,9 @@ void main_clear_tab_history(void) { PASSAGE_TAB_INFO *tab = cur_passage_tab; - gui_remove_menu_items(_("H_istory/<Separator>"), - tab->history_items + 1); - gui_add_separator2menu(widgets.app, _("H_istory/C_lear")); + //gui_remove_menu_items(_("H_istory/<Separator>"), + // tab->history_items + 1); + //gui_add_separator2menu(widgets.app, _("H_istory/C_lear")); /* set sensitivity of history buttons */ gtk_widget_set_sensitive(BUTTON_BACK, FALSE); |