You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.
The text was updated successfully, but these errors were encountered: