SET-EIS-ELEMENT-HEIGHT
======================

syntax: (set-eis-element-height <window-element>
                                <height>)

This function sets the height of the window-
element. The value has to be an integer.

example: >(set-eis-element-height
             (get-window-element interface
                "pushbutton-1" 40)