panel = new JPanel(new BorderLayout());
rebuildLayout(false);
}
private TreeWidget<TextDocument> createDocumentSelector(EntityExplorerSupport explorer) {
EntityFilter filter = EntityFilters.and(EntityFilters.allOfType(EntityType.Document), new NonWizardObjectsFilter());
return new TreeWidget<TextDocument>(explorer, EntityType.Document, TextDocument.class, filter, false);
}