commit f58edc637f7bce3be23790fc3ef503ae30c404b2
author cbridgha <cbridgha> Fri Apr 29 16:53:57 2005 +0000
committer cbridgha <cbridgha> Fri Apr 29 16:53:57 2005 +0000
tree 8d20d52f08e3c72985441d8b8dfd1ec4247a6e20
parent 3af6428b4d5895d24b25bb37097b5148bd412331

[93033]: Fixing performance problems. Updating the animation of the Server Table View. Committed for MDE.

plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/view/servers/ServerTableViewer.java

diff --git a/plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/view/servers/ServerTableViewer.java b/plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/view/servers/ServerTableViewer.java
index f348485..d40bc97 100644
--- a/plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/view/servers/ServerTableViewer.java
+++ b/plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/view/servers/ServerTableViewer.java
@@ -169,10 +169,11 @@
 				while (!stopThread) {
 					try {
 						labelProvider.animate();
+						final Object[] rootElements = ((ITreeContentProvider)getContentProvider()).getElements(null); 
 						Display.getDefault().asyncExec(new Runnable() {
 							public void run() {
 								if (getTree() != null && !getTree().isDisposed())
-									refresh();
+									update(rootElements, null);
 							}
 						});
 						Thread.sleep(200);