clean up

diff --git a/src/gtk/menu.h b/src/gtk/menu.h
index d66122ec157812d9cf6a316d728babc846736af1..2d3771cea150841eb53f56b1db7d6354c3760cda 100644 (file)
--- a/src/gtk/menu.h
+++ b/src/gtk/menu.h
@@ -71,8 +71,6 @@ void menu_set_sensitive_all   (GtkMenuShell           *menu_shell,
 void menu_set_active           (GtkItemFactory         *ifactory,
                                 const gchar            *path,
                                 gboolean                is_active);
-void menu_toggle_active                (GtkItemFactory         *ifactory,
-                                const gchar            *path);
 void menu_button_position      (GtkMenu                *menu,
                                 gint                   *x,
                                 gint                   *y,