@@ -35,7 +35,6 @@ static gboolean show_name = TRUE;
static gboolean show_range = TRUE;
static gboolean show_value = TRUE;
static gboolean show_all = FALSE;
-static gboolean show_debug = FALSE;
static gboolean resizeable = FALSE;
GtkWidget *main_wnd = NULL;
@@ -647,14 +646,6 @@ on_show_all_options1_activate(GtkMenuItem * menuitem, gpointer user_data)
}
-void
-on_show_debug_info1_activate(GtkMenuItem * menuitem, gpointer user_data)
-{
- show_debug = GTK_CHECK_MENU_ITEM(menuitem)->active;
- update_tree(&rootmenu, NULL);
-}
-
-
void on_introduction1_activate(GtkMenuItem * menuitem, gpointer user_data)
{
GtkWidget *dialog;
@@ -200,16 +200,6 @@
</widget>
</child>
- <child>
- <widget class="GtkCheckMenuItem" id="show_debug_info1">
- <property name="visible">True</property>
- <property name="tooltip" translatable="yes">Show masked options</property>
- <property name="label" translatable="yes">Show _debug info</property>
- <property name="use_underline">True</property>
- <property name="active">False</property>
- <signal name="activate" handler="on_show_debug_info1_activate"/>
- </widget>
- </child>
</widget>
</child>
</widget>