1504 |
gtk_widget_destroy (gtk_widget_get_toplevel (GTK_WIDGET (button))); |
gtk_widget_destroy (gtk_widget_get_toplevel (GTK_WIDGET (button))); |
1505 |
} |
} |
1506 |
|
|
1507 |
|
/* TRACE WARNING DIALOG*/ |
1508 |
|
gboolean |
1509 |
|
on_tracewarningdialog_delete_event (GtkWidget *widget, |
1510 |
|
GdkEvent *event, |
1511 |
|
gpointer user_data) |
1512 |
|
{ |
1513 |
|
gtk_widget_set_sensitive (mainwindow, 1); |
1514 |
|
return FALSE; |
1515 |
|
} |
1516 |
|
|
1517 |
|
|
1518 |
|
void |
1519 |
|
on_tracewarningokbutton_clicked (GtkButton *button, |
1520 |
|
gpointer user_data) |
1521 |
|
{ |
1522 |
|
gtk_widget_set_sensitive (mainwindow, 1); |
1523 |
|
gtk_widget_destroy (gtk_widget_get_toplevel (GTK_WIDGET (button))); |
1524 |
|
} |
1525 |
|
|
1526 |
|
|
1527 |
/* end of file */ |
/* end of file */ |