[jboss-cvs] jbosside/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/views/server/extensions ...

[Robert Stryker]

  User: rawb    
  Date: 07/01/11 10:51:22

  Modified:    as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/views/server/extensions 
                        JBossServerViewExtension.java
  Log:
  Checked for proper thread access to refresh the viewer
  
  Revision  Changes    Path
  1.5       +18 -9     jbosside/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/views/server/extensions/JBossServerViewExtension.java
  
  (In the diff below, changes in quantity of whitespace are not shown.)
  
  Index: JBossServerViewExtension.java
  ===================================================================
  RCS file: /cvsroot/jboss/jbosside/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/views/server/extensions/JBossServerViewExtension.java,v
  retrieving revision 1.4
  retrieving revision 1.5
  diff -u -b -r1.4 -r1.5
  --- JBossServerViewExtension.java	14 Dec 2006 19:34:44 -0000	1.4
  +++ JBossServerViewExtension.java	11 Jan 2007 15:51:22 -0000	1.5
  @@ -5,6 +5,7 @@
   import org.eclipse.jface.viewers.LabelProvider;
   import org.eclipse.swt.graphics.Image;
   import org.eclipse.swt.widgets.Composite;
  +import org.eclipse.swt.widgets.Display;
   import org.eclipse.swt.widgets.Shell;
   import org.eclipse.ui.views.properties.IPropertySheetPage;
   import org.jboss.ide.eclipse.as.ui.preferencepages.ViewProviderPreferenceComposite;
  @@ -73,7 +74,9 @@
   	protected void refreshViewer() {
   		refreshViewer(null);
   	}
  -	protected void refreshViewer(Object o) {
  +	protected void refreshViewer(final Object o) {
  +		Runnable r = new Runnable() { 
  +			public void run() {
   		if( isEnabled() ) {
   			try {
   				if( o == null )
  @@ -84,6 +87,12 @@
   			}
   		}
   	}
  +		};
  +		if( Display.getCurrent() == null ) 
  +			Display.getDefault().asyncExec(r);
  +		else
  +			r.run();
  +	}
   	protected void removeElement(Object o) {
   		JBossServerView.getDefault().getJBViewer().remove(new ContentWrapper(o, provider));
   	}