128 |
/* trace dialog */ |
/* trace dialog */ |
129 |
gboolean on_tracedialog_delete_event (GtkWidget *widget, GdkEvent *event, |
gboolean on_tracedialog_delete_event (GtkWidget *widget, GdkEvent *event, |
130 |
gpointer user_data); |
gpointer user_data); |
|
void on_debugoptionmenu_changed(GtkOptionMenu *optionmenu, gpointer user_data); |
|
|
void on_rigdebug_activate (GtkMenuItem *menuitem, gpointer user_data); |
|
131 |
void on_tracedialogclosebutton_clicked (GtkButton *button, gpointer user_data); |
void on_tracedialogclosebutton_clicked (GtkButton *button, gpointer user_data); |
132 |
|
|
133 |
/* end of file */ |
/* end of file */ |