[dashboard]The size of the widget in the docking manager container is not normal

[dong-king]

Describe the bug The size of the widgets in the docker container is not normal The width and height of these two buttons are 80 and 40 respectively. when running, the width and height of the two buttons are not 80 and 40. The size of the two buttons is related to the layout of the docking manager container.

Screenshots Edit mode:

Run mode:

Desktop (please complete the following information):

• OS: win10
• eez studio version: 0.14.2

[mvladic]

Containers that are immediate children of the Docking Manager container are automatically resized to match available area. And consequently, all the child widgets of these containers are moved and resized proportionally by default. You can control these by using the following controls:

Above, I set button to pin to the top and left edge and also I set width and height to be fixed, so it will not be moved or resized when its parent change size.

[mvladic]

"Pin to edge" and "Fix size" controls are also used for the case when "Scale to fit" option of the Page is checked

And for the User widgets if User widget is defined with some width and height, but on the page where it is used is set different width and height, so we use these controls to know how to resize widgets that are inside user widget.