Searched refs:radio_box (Results 1 – 1 of 1) sorted by relevance
3875 Widget radio_box; in find_replace_dialog_create() local3899 radio_box = XmCreateRadioBox(frame, "radioBox", in find_replace_dialog_create()3904 xmToggleButtonGadgetClass, radio_box, in find_replace_dialog_create()3913 xmToggleButtonGadgetClass, radio_box, in find_replace_dialog_create()3920 XtManageChild(radio_box); in find_replace_dialog_create()