Replying to myself:
On Tue, Sep 23, 2008 at 04:03:17PM +0200, Johannes Hofmann wrote:
Switching to ShrinkTabPager solves the problem for me (see patch).
Yes, this also works for the fltk2 tabs example, just add
fltk::TabGroup::default_pager (fltk::PAGER_SHRINK);
But, <sigh>, it's also buggy. If you hack the fltk2 tabs example as above, select tab4 and narrow the window then the text of "very long tab text" appears at the other side of tab4 and obscures tab3!
I'm sorry for being so negative. Thanks, Johannes, for confirming that it's a FLTK bug and finding a workaround. I would prefer the default pager if it worked because it gives a list of all tabs, but at the moment this bug makes the shrink pager far better.
Time for a visit to the FLTK bug tracker.
I've raised reports for the redraw storm and tab text display issues: http://www.fltk.org/str.php?L2047 http://www.fltk.org/str.php?L2048 Regards, Jeremy Henty