#include <gtk/gtkcheckmenuitem.h>
#include <gtk/gtkbutton.h>
-
#include "intl.h"
#include "menu.h"
+#include "utils.h"
static gchar *menu_translate(const gchar *path, gpointer data);
g_return_if_fail(ifactory != NULL);
widget = gtk_item_factory_get_item(ifactory, path);
+ if(widget == NULL) {
+ debug_print(_("unknown menu entry %s\n"), path);
+ return;
+ }
gtk_widget_set_sensitive(widget, sensitive);
}