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
Ideally, if a widget declares a minimum size, the dock widget it is added to would not be able to shrink beyond that size. Confusingly, the dock widget has its minimum size set based on the widget it encloses (although we may want to change that to a maximum operation when multiple tabs have minimum sizes? Not sure), so I'm not sure if I'm misunderstanding what that method does...
Ideally, if a widget declares a minimum size, the dock widget it is added to would not be able to shrink beyond that size. Confusingly, the dock widget has its minimum size set based on the widget it encloses (although we may want to change that to a maximum operation when multiple tabs have minimum sizes? Not sure), so I'm not sure if I'm misunderstanding what that method does...
Here's an MCVE, adapted from #71:
tiny_widget.mp4