static void channel_off_button(GtkWidget * widget, gpointer gdata) { scope_vert_t *vert; int chan_num; vert = &(ctrl_usr->vert); chan_num = vert->selected; set_channel_off(chan_num); }
static char *choff_cmd(void * arg) { int chan_num; if ( deferred_channel != 0 ) { deferred_channel = 0; return NULL; } chan_num = ctrl_usr->vert.selected; set_channel_off(chan_num); return NULL; }