Details
-
Bug
-
Resolution: Incomplete
-
P3: Somewhat important
-
None
-
5.15.0
-
Desktop
Description
Attached gif shows our example feature which was supposed to change the size of dockwidget does not work.
To change the size of dockwidget it should use resizeDocks() now instead of sizeHInt.