2 Jan
2013
2 Jan
'13
6:04 p.m.
On Sat, Dec 29, 2012 at 09:21:31PM +0000, corvid wrote:
Yesterday I was playing with ctrl-tab, of course, and I noticed how the state of the focused tab would sometimes change.
What's "the state of the focused tab"?
I went through a few rounds of fixing this in different ways before finding something that didn't seem icky. Detailed comment in patch.
Yeah, from time to time, something like the patch you describe is necessary with FLTK (silent resize of hidden widgets comes to mind...) -- Cheers Jorge.-