X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=forester%2Fjava%2Fsrc%2Forg%2Fforester%2Farchaeopteryx%2FMainPanel.java;h=6044baff6c9fec53eb6c269f2a17e2ee70985c9f;hb=a9fcc2db25e1349d2a5f926eae7a71cea99efb7a;hp=42332d4f3b72f08b3cd54c98bba7d10794225489;hpb=ccf4c584032d16ed0ed8d0678f01305887724f96;p=jalview.git diff --git a/forester/java/src/org/forester/archaeopteryx/MainPanel.java b/forester/java/src/org/forester/archaeopteryx/MainPanel.java index 42332d4..6044baf 100644 --- a/forester/java/src/org/forester/archaeopteryx/MainPanel.java +++ b/forester/java/src/org/forester/archaeopteryx/MainPanel.java @@ -8,7 +8,7 @@ // and Howard Hughes Medical Institute // Copyright (C) 2003-2007 Ethalinda K.S. Cannon // All rights reserved -// +// // This library is free software; you can redistribute it and/or // modify it under the terms of the GNU Lesser General Public // License as published by the Free Software Foundation; either @@ -18,7 +18,7 @@ // but WITHOUT ANY WARRANTY; without even the implied warranty of // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU // Lesser General Public License for more details. -// +// // You should have received a copy of the GNU Lesser General Public // License along with this library; if not, write to the Free Software // Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA @@ -85,10 +85,10 @@ public class MainPanel extends JPanel implements ComponentListener { 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() ); @@ -135,10 +135,7 @@ public class MainPanel extends JPanel implements ComponentListener { 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(); } @@ -224,7 +221,7 @@ public class MainPanel extends JPanel implements ComponentListener { 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 ); } @@ -238,7 +235,7 @@ public class MainPanel extends JPanel implements ComponentListener { } JPanel getCurrentScrollPanePanel() { - final int selected = _tabbed_pane.getSelectedIndex(); + final int selected = getTabbedPane().getSelectedIndex(); if ( selected >= 0 ) { return _treegraphic_scroll_pane_panels.get( selected ); } @@ -248,7 +245,7 @@ public class MainPanel extends JPanel implements ComponentListener { } int getCurrentTabIndex() { - final int selected = _tabbed_pane.getSelectedIndex(); + final int selected = getTabbedPane().getSelectedIndex(); if ( selected >= 0 ) { return selected; } @@ -257,7 +254,14 @@ public class MainPanel extends JPanel implements ComponentListener { } } - 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 ); @@ -329,6 +333,7 @@ public class MainPanel extends JPanel implements ComponentListener { _tabbed_pane.addChangeListener( new ChangeListener() { // This method is called whenever the selected tab changes + @Override public void stateChanged( final ChangeEvent evt ) { final JTabbedPane pane = ( JTabbedPane ) evt.getSource(); getControlPanel().tabChanged();