~~NOTRANS~~
~~Title: Remove Default Padding of Workscreen~~
The standard application frame with Vaadin UI adds a default padding of five pixels to every screen if margins of screen layout are smaller than five pixels.
An example:
{{:applications:screen_defaultpadding.png?nolink|}}
and the html code:
{{:applications:screen_defaultpadding_html.png?nolink|}}
To change the default padding, simply set a custom margin in your screen, e.g.
getLayout().setMargins(new UIInsets(8, 8, 8, 8));
or set/add the style:
setStyle(new Style("nopadding"));
to remove the default padding.
Here's the result without default padding:
{{:applications:screen_nopadding.png?nolink|}}
The default padding of the screen is now unset, but the users layout has custom margins:
layUsers.setMargins(7, 2, 5, 5);