Searched refs:Select_mine_toggle (Results 1 – 1 of 1) sorted by relevance
602 static void Select_mine_toggle(Widget w, XtPointer clientData, XtPointer calldata);7792 XtAddCallback(select_mine_button, XmNvalueChangedCallback, Select_mine_toggle, "1");18404 void Select_mine_toggle( Widget UNUSED(w), XtPointer clientData, XtPointer callData) function