Searched refs:manual_window (Results 1 – 3 of 3) sorted by relevance
17 extern GtkWidget* manual_window;
56 gtk_widget_show(manual_window); in on_hugo_manual1_activate()291 gtk_widget_hide(manual_window); in on_button_manual_close_clicked()
35 GtkWidget* manual_window = NULL; variable68 manual_window = create_window_manual(); in build_gtk_interface()72 manual_text = (GtkTextView*)lookup_widget(manual_window, "text_manual"); in build_gtk_interface()