62 |
extern gchar **qso; |
extern gchar **qso; |
63 |
extern GtkWidget *preferencesdialog; |
extern GtkWidget *preferencesdialog; |
64 |
extern GtkWidget *printdialog; |
extern GtkWidget *printdialog; |
65 |
|
extern GtkWidget *b4dialog; |
66 |
extern gint clocktimer, savetimer; |
extern gint clocktimer, savetimer; |
67 |
extern GList *searchhistory; |
extern GList *searchhistory; |
68 |
extern GList *logwindowlist; |
extern GList *logwindowlist; |
2141 |
|
|
2142 |
void on_b4okbutton_clicked(GtkButton *button, gpointer user_data) |
void on_b4okbutton_clicked(GtkButton *button, gpointer user_data) |
2143 |
{ |
{ |
2144 |
gtk_widget_destroy(gtk_widget_get_toplevel(GTK_WIDGET(button))); |
gtk_widget_hide(b4dialog); |
2145 |
} |
} |
2146 |
|
|
2147 |
/* end of file */ |
/* end of file */ |