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)