Re: Tabs

[martin rudalics]

> Done.  But this value doesn't affect the initial resize when tool bar
> or tab bar are enabled for the first time in a session.  Right?

Right.  Conceptually, the initial resize to get the right number of
text lines should take place regardless of any settings.  The only
exclusion are full height and size frames.

martin