set-tab-size

Arguments: tab-control &key (width (default-tab-width (configuration *system*))) (height (default-tab-height (configuration *system*)))

Sets the pixel height for each row of tabs on tab-control, and sets the width for a fixed-width tab-control. May be more efficient than changing the width and height individually.

GTK Note

There is no way to set arbitrary tab sizes in the GTK tab-control, so this function will simply invoke the *gtk-compatibility-warning-action*.

Copyright (c) 1998-2019, Franz Inc. Oakland, CA., USA. All rights reserved.
This page was not revised from the 8.2 page.
Created 2012.5.30.