5455565758596061626364
if ( showFactUsage ) { tree.addItem( new FactUsagesItem( report.factUsages ) ); } tree.addTreeListener( swapTitleWithUserObject() ); layout.addRow( tree ); initWidget( layout ); }
7071727374757677787980
4142434445464748495051
} } } tree.setStyleName( "category-explorer-Tree" ); //NON-NLS tree.addTreeListener(new TreeListener() { public void onTreeItemSelected(TreeItem t) { Object o = t.getUserObject(); if (o instanceof String) { ev.selected((String) o); }