609
609
/* Don't stay on top of all windows! */
610
610
gtk_window_set_type_hint (GTK_WINDOW (dialog), GDK_WINDOW_TYPE_HINT_NORMAL);
613
612
gtk_container_set_border_width (GTK_CONTAINER (dialog), 5);
617
616
gtk_dialog_add_button (GTK_DIALOG (dialog),
618
617
GTK_STOCK_HELP, GTK_RESPONSE_HELP);