-
Gerd Moellmann authored
(xm_update_one_widget): Use XtSetSensitive instead of setting the value of XmNsensitive. From Rick Scott <rwscott@alumni.uwaterloo.ca>.
2f87cc74
(xm_update_one_widget): Use XtSetSensitive instead of setting the value of XmNsensitive. From Rick Scott <rwscott@alumni.uwaterloo.ca>.