Tool panel sizing is glitchy
Opened this issue · 0 comments
solemnwarning commented
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.