Andre Poenitz wrote: >> Ah, I see. Not really obvious. > > What would be more obvious?
I wouldn't have discovered this if you didn't point me to it. >> Can we make this the default? > > Probably. But I don't see a huge benefit. To you think it is easier to > discover how to separate tabbed widgets into individual docks than the > other way round? Personally I wouldn't miss separate widgets. Jürgen
