/** Create a new cat tree editor. */ public CategoryTreeEditorWidget() { final VerticalPanel panel = new VerticalPanel(); panel.add(navTreeWidget); initWidget(panel); setStyleName("category-explorer-Tree"); }