getControlPanel().showWhole();
}
- void addPhylogenyInNewTab( final Phylogeny phy,
- final Configuration config,
- final String default_name,
- final String full_path ) {
+ public void addPhylogenyInNewTab( final Phylogeny phy,
+ final Configuration config,
+ final String default_name,
+ final String full_path ) {
final TreePanel treepanel = new TreePanel( phy, config, this );
getControlPanel().phylogenyAdded( config );
treepanel.setControlPanel( getControlPanel() );
treegraphic_scroll_pane_panel.add( treegraphic_scroll_pane, BorderLayout.CENTER );
_treegraphic_scroll_pane_panels.add( treegraphic_scroll_pane_panel );
_treegraphic_scroll_panes.add( treegraphic_scroll_pane );
- getTabbedPane().addTab( name,
- null,
- treegraphic_scroll_pane_panel,
- Util.createDescriptionForTab( phy, full_path ) );
+ getTabbedPane().addTab( name, null, treegraphic_scroll_pane_panel, "" );
getTabbedPane().setSelectedIndex( getTabbedPane().getTabCount() - 1 );
getControlPanel().showWhole();
}
JScrollPane getCurrentScrollPane() {
if ( _treegraphic_scroll_panes.size() > 0 ) {
- final int selected = _tabbed_pane.getSelectedIndex();
+ final int selected = getTabbedPane().getSelectedIndex();
if ( selected >= 0 ) {
return _treegraphic_scroll_panes.get( selected );
}
}
JPanel getCurrentScrollPanePanel() {
- final int selected = _tabbed_pane.getSelectedIndex();
+ final int selected = getTabbedPane().getSelectedIndex();
if ( selected >= 0 ) {
return _treegraphic_scroll_pane_panels.get( selected );
}
}
int getCurrentTabIndex() {
- final int selected = _tabbed_pane.getSelectedIndex();
+ final int selected = getTabbedPane().getSelectedIndex();
if ( selected >= 0 ) {
return selected;
}
}
}
- TreePanel getCurrentTreePanel() {
+ void setTitleOfSelectedTab( final String title ) {
+ final int selected = getTabbedPane().getSelectedIndex();
+ if ( selected >= 0 ) {
+ getTabbedPane().setTitleAt( selected, title );
+ }
+ }
+
+ public TreePanel getCurrentTreePanel() {
final int selected = getTabbedPane().getSelectedIndex();
if ( selected >= 0 ) {
return _treepanels.get( selected );