Tool panel sizing is glitchy

[solemnwarning]

The width/height of tool panels sometimes changes in weird ways beyond our control... I think we will need a custom control to handle docking/detaching tabs from multiple positions for #229, so this should be fixed at the same time.