505152535455565758
navigationTree.addChangeListener(new ActionListener() { public void actionPerformed(Event event) { forceRefresh(); } }); navigationPanel = new Panel(navigationTree); navigationPanel.setHflex("3"); appendChild(navigationPanel); }
444546474849505152
desktopTable.addChangeListener(new ActionListener() { public void actionPerformed(Event event) { forceRefresh(); } }); desktopPanel = new Panel(desktopTable); desktopPanel.setHflex("9"); appendChild(desktopPanel); }
4950515253545556
updateContent(); } }); grid = new Grid(); grid.setMold("paging"); appendChild(new Panel(I18N.get("Browser"), new Row(tree, grid))); updateContent(); }