Searched refs:display_symbol_button (Results 1 – 1 of 1) sorted by relevance
569 Widget display_symbol_button; variable8240 display_symbol_button = XtVaCreateManagedWidget(langcode("PULDNDP012"),8249 XtAddCallback(display_symbol_button, XmNvalueChangedCallback, Display_symbol_toggle, "1");8252 XmToggleButtonSetState(display_symbol_button, TRUE, FALSE);8256 XtSetSensitive(display_symbol_button, FALSE);18279 XtSetSensitive(display_symbol_button, sensitive);