Set the window height in device-independent pixels. This must be set to a value
in device-independent pixels. At initialization time you may
alternatively also pass one of the following special values:
Default-
Calculate height from the default sizes of all widgets.
Screen:<1..100>-
Set height as a percentage of the host screen's total height.
Default for this tag is Default.