mirror of
https://gitlab.kit.edu/uskyk/typicalc.git
synced 2024-11-08 18:30:42 +00:00
disable margin for scroller
This commit is contained in:
parent
c1ce7a9181
commit
fe00b5147a
@ -47,6 +47,8 @@ public class TypeInferenceView extends VerticalLayout
|
||||
Scroller scroller = new Scroller(content);
|
||||
scroller.setId(SCROLLER_ID);
|
||||
scroller.setScrollDirection(Scroller.ScrollDirection.BOTH);
|
||||
// setPadding(false);
|
||||
scroller.getStyle().set("margin", "0px");
|
||||
setAlignItems(Alignment.CENTER);
|
||||
add(scroller, controlPanel);
|
||||
treeNumbers = lc.getTreeNumbers();
|
||||
|
Loading…
Reference in New Issue
Block a user