You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@taverna.apache.org by st...@apache.org on 2015/03/06 23:34:00 UTC

[04/50] [abbrv] incubator-taverna-workbench git commit: Added ability to change tab name.

Added ability to change tab name.

git-svn-id: https://taverna.googlecode.com/svn/taverna/utils/net.sf.taverna.t2.lang/trunk@15900 bf327186-88b3-11dd-a302-d386e5130c1c


Project: http://git-wip-us.apache.org/repos/asf/incubator-taverna-workbench/repo
Commit: http://git-wip-us.apache.org/repos/asf/incubator-taverna-workbench/commit/1704b7d9
Tree: http://git-wip-us.apache.org/repos/asf/incubator-taverna-workbench/tree/1704b7d9
Diff: http://git-wip-us.apache.org/repos/asf/incubator-taverna-workbench/diff/1704b7d9

Branch: refs/heads/master
Commit: 1704b7d94b4e8e9a37b217b8579ac1478248f53e
Parents: ffe467c
Author: david@mygrid.org.uk <da...@bf327186-88b3-11dd-a302-d386e5130c1c>
Authored: Mon Jul 22 13:51:22 2013 +0000
Committer: david@mygrid.org.uk <da...@bf327186-88b3-11dd-a302-d386e5130c1c>
Committed: Mon Jul 22 13:51:22 2013 +0000

----------------------------------------------------------------------
 .../sf/taverna/t2/lang/ui/tabselector/Tab.java  | 21 ++++++++++++++++----
 1 file changed, 17 insertions(+), 4 deletions(-)
----------------------------------------------------------------------


http://git-wip-us.apache.org/repos/asf/incubator-taverna-workbench/blob/1704b7d9/ui/src/main/java/net/sf/taverna/t2/lang/ui/tabselector/Tab.java
----------------------------------------------------------------------
diff --git a/ui/src/main/java/net/sf/taverna/t2/lang/ui/tabselector/Tab.java b/ui/src/main/java/net/sf/taverna/t2/lang/ui/tabselector/Tab.java
index abc0a81..6cd9b70 100644
--- a/ui/src/main/java/net/sf/taverna/t2/lang/ui/tabselector/Tab.java
+++ b/ui/src/main/java/net/sf/taverna/t2/lang/ui/tabselector/Tab.java
@@ -50,10 +50,11 @@ public abstract class Tab<T> extends JToggleButton {
 	public final static Color lightGrey = new Color(200,200,200);
 
 	protected final T selection;
-	private final String label;
+	private String name;
+	private JLabel label;
 
-	public Tab(String label, T selection) {
-		this.label = label;
+	public Tab(String name, T selection) {
+		this.name = name;
 		this.selection = selection;
 		initialise();
 	}
@@ -67,7 +68,7 @@ public abstract class Tab<T> extends JToggleButton {
 
 		GridBagConstraints c = new GridBagConstraints();
 
-		JLabel label = new JLabel(this.label);
+		label = new JLabel(this.name);
 		c.anchor = GridBagConstraints.WEST;
 		c.fill = GridBagConstraints.BOTH;
 		c.insets = new Insets(0, 5, 0, 5);
@@ -88,6 +89,18 @@ public abstract class Tab<T> extends JToggleButton {
 		});
 	}
 
+	public String getName() {
+		return name;
+	}
+
+	public void setName(String name) {
+		if (!this.name.equals(name)) {
+			this.name = name;
+			label.setText(name);
+			repaint();
+		}
+	}
+
 	@Override
 	public void updateUI() {
 		// override to ignore UI update