default-tab-height

Arguments:
configuration

Returns the configuration's default pixel-height for tabs on a
tab-control. The value nil means defer to the
OS default. The current configuration, which provides the default
currently in force, is (configuration *system*)
(see configuration and *system*).