SET-EIS-ELEMENT-WIDTH ===================== syntax: (set-eis-element-width <window-element> <width>) This function sets the width of the window- element. The value has to be an integer. example: >(set-eis-element-width (get-window-element interface "pushbutton-1" 80)