3334353637383940414243
b.setMargin(new Border(1,0,0,0)); b.setWidth("100%"); b.setHeight("40px"); b.updateCaption(); b.setData(n); b.addListener(this); return b; } protected Button childButton(NavigationNode n, boolean isSelected) {
5354555657585960616263
b.setMargin(new Border(1,0,0,20)); b.setWidth("100%"); b.setHeight("40px"); b.updateCaption(); b.setData(n); b.addListener(this); return b; } public Desktop getDesktop() {
6364656667686970717273
b.setMargin(new Border(1,0,0,0)); //b.setWidth("100%"); b.setHeight("30px"); b.updateCaption(); b.setData(n); b.addListener(this); return b; } @Override