3730 |
radio_box, |
radio_box, |
3731 |
NULL); |
NULL); |
3732 |
|
|
3733 |
if (get_gl_render_type () == 0) |
if (get_gl_render_type () == BALL_AND_STICK) |
3734 |
{ |
{ |
3735 |
XtVaSetValues (radio_button, XmNset, True, NULL); |
XtVaSetValues (radio_button, XmNset, True, NULL); |
3736 |
} |
} |
3739 |
(radio_button, |
(radio_button, |
3740 |
XmNvalueChangedCallback, |
XmNvalueChangedCallback, |
3741 |
gl_render_type_button_cb, |
gl_render_type_button_cb, |
3742 |
(XtPointer) 0); |
(XtPointer) BALL_AND_STICK); |
3743 |
|
|
3744 |
radio_button = XtVaCreateManagedWidget |
radio_button = XtVaCreateManagedWidget |
3745 |
("Tubes", |
("Tubes", |
3747 |
radio_box, |
radio_box, |
3748 |
NULL); |
NULL); |
3749 |
|
|
3750 |
if (get_gl_render_type () == 1) |
if (get_gl_render_type () == TUBES) |
3751 |
{ |
{ |
3752 |
XtVaSetValues (radio_button, XmNset, True, NULL); |
XtVaSetValues (radio_button, XmNset, True, NULL); |
3753 |
} |
} |
3756 |
(radio_button, |
(radio_button, |
3757 |
XmNvalueChangedCallback, |
XmNvalueChangedCallback, |
3758 |
gl_render_type_button_cb, |
gl_render_type_button_cb, |
3759 |
(XtPointer) 1); |
(XtPointer) TUBES); |
3760 |
|
|
3761 |
XtManageChild (radio_box); |
XtManageChild (radio_box); |
3762 |
|
|