void set_sensitive

(

Widget

widget_id

)

Definition at line 267 of file dui_util.c.

References was_sensitive.

{

        if(was_sensitive)
                XtSetSensitive(widget_id,True);
}