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:03 UTC
[07/50] [abbrv] incubator-taverna-workbench git commit: T3-851 Fixed
redraw problem when removing tabs.
T3-851 Fixed redraw problem when removing tabs.
git-svn-id: https://taverna.googlecode.com/svn/taverna/utils/net.sf.taverna.t2.lang/trunk@16128 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/abbb57ae
Tree: http://git-wip-us.apache.org/repos/asf/incubator-taverna-workbench/tree/abbb57ae
Diff: http://git-wip-us.apache.org/repos/asf/incubator-taverna-workbench/diff/abbb57ae
Branch: refs/heads/master
Commit: abbb57ae82c1f2b11ea2fb30f7b1417622c36921
Parents: ef5ec64
Author: david@mygrid.org.uk <da...@bf327186-88b3-11dd-a302-d386e5130c1c>
Authored: Fri Oct 11 10:03:59 2013 +0000
Committer: david@mygrid.org.uk <da...@bf327186-88b3-11dd-a302-d386e5130c1c>
Committed: Fri Oct 11 10:03:59 2013 +0000
----------------------------------------------------------------------
.../net/sf/taverna/t2/lang/ui/tabselector/TabSelectorComponent.java | 1 +
1 file changed, 1 insertion(+)
----------------------------------------------------------------------
http://git-wip-us.apache.org/repos/asf/incubator-taverna-workbench/blob/abbb57ae/ui/src/main/java/net/sf/taverna/t2/lang/ui/tabselector/TabSelectorComponent.java
----------------------------------------------------------------------
diff --git a/ui/src/main/java/net/sf/taverna/t2/lang/ui/tabselector/TabSelectorComponent.java b/ui/src/main/java/net/sf/taverna/t2/lang/ui/tabselector/TabSelectorComponent.java
index 23e6343..a918143 100644
--- a/ui/src/main/java/net/sf/taverna/t2/lang/ui/tabselector/TabSelectorComponent.java
+++ b/ui/src/main/java/net/sf/taverna/t2/lang/ui/tabselector/TabSelectorComponent.java
@@ -78,6 +78,7 @@ public abstract class TabSelectorComponent<T> extends JPanel {
if (button != null) {
tabGroup.remove(button);
remove(button);
+ revalidate();
repaint();
}
}