*/
private void showExplorerView() {
if (entries == null) {
return;
}
ExplorerTree tree = new ExplorerTree(false, false, false, new StarHandler(){
@Override
public void onStar(String id) {
CommandEvent.fire(new SystemStarDocumentCommand(id));
}
@Override
public void onUnstar(String id) {
CommandEvent.fire(new SystemUnstarDocumentCommand(id));
}
});
tree.setEntries(entries);
documentsPanel = new ScrollPanel(tree);
rightPanel.add(documentsPanel);
resize();
}