diff options
author | Bernard Normier <bernard@zeroc.com> | 2006-07-10 14:23:26 +0000 |
---|---|---|
committer | Bernard Normier <bernard@zeroc.com> | 2006-07-10 14:23:26 +0000 |
commit | a990fa608ea10209966aacfd0c0b5f681a95c974 (patch) | |
tree | eb809d1380aa38ef80e16e8ff882b505ca762f97 /java/src/IceGridGUI/Application/Root.java | |
parent | Correct for some moved files and add x64 as a platform for mono builds (diff) | |
download | ice-a990fa608ea10209966aacfd0c0b5f681a95c974.tar.bz2 ice-a990fa608ea10209966aacfd0c0b5f681a95c974.tar.xz ice-a990fa608ea10209966aacfd0c0b5f681a95c974.zip |
Fixed bug #1201
Diffstat (limited to 'java/src/IceGridGUI/Application/Root.java')
-rwxr-xr-x | java/src/IceGridGUI/Application/Root.java | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/java/src/IceGridGUI/Application/Root.java b/java/src/IceGridGUI/Application/Root.java index 191118c1662..0e4f904c709 100755 --- a/java/src/IceGridGUI/Application/Root.java +++ b/java/src/IceGridGUI/Application/Root.java @@ -714,6 +714,7 @@ public class Root extends ListTreeNode if(confirm == JOptionPane.YES_OPTION)
{
_coordinator.removeApplicationFromRegistry(_id);
+ _discardMe = true;
}
}
else
@@ -917,13 +918,15 @@ public class Root extends ListTreeNode {
_live = false;
- if(_registryUpdatesEnabled)
+ if(_registryUpdatesEnabled || _discardMe)
{
return true;
}
else
{
_coordinator.getMainPane().resetIcon(this);
+ _coordinator.getCurrentTab().selected(); // only needed when 'this'
+ // corresponds to the current tab
return false;
}
}
@@ -1186,6 +1189,8 @@ public class Root extends ListTreeNode //
private boolean _registryUpdatesEnabled = true;
+ private boolean _discardMe = false;
+
//
// True when any update was applies to this application
// (including children)
|