Which is more reasonable, and the toolbar no longer changes height.

So I don't think there's anything to fix here, and I'm closing this bug
report.

Sorry for the noise.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no