Searched refs:Display_symbol_toggle (Results 1 – 1 of 1) sorted by relevance
624 static void Display_symbol_toggle(Widget w, XtPointer clientData, XtPointer calldata);8249 XtAddCallback(display_symbol_button, XmNvalueChangedCallback, Display_symbol_toggle, "1");18900 void Display_symbol_toggle( Widget UNUSED(w), XtPointer clientData, XtPointer callData) function