Searched refs:Map_border_toggle (Results 1 – 1 of 1) sorted by relevance
422 void Map_border_toggle( Widget w, XtPointer clientData, XtPointer callData);6974 XtAddCallback(map_border_button,XmNvalueChangedCallback,Map_border_toggle,"1");15907 void Map_border_toggle( Widget UNUSED(w), XtPointer UNUSED(clientData), XtPointer callData) function