[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: 06/12/14 14:34:44

  Modified:    as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/views/server/extensions 
                        JBossServerViewExtension.java
  Log:
  flickering view caused by input being set all over the place. Had to be remedied. It's possible this change breaks something else which depended on that behavior, but if it does I'll find it ;) 
  
  Also, API change which allows removal and addition of items without doing a tree refresh  (more efficient)
  
  Revision  Changes    Path
  1.4       +12 -2     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.3
  retrieving revision 1.4
  diff -u -b -r1.3 -r1.4
  --- JBossServerViewExtension.java	13 Dec 2006 18:32:13 -0000	1.3
  +++ JBossServerViewExtension.java	14 Dec 2006 19:34:44 -0000	1.4
  @@ -66,6 +66,10 @@
   		return null;
   	}
   	
  +	protected void suppressingRefresh(Runnable runnable) {
  +		JBossServerView.getDefault().getJBViewer().suppressingRefresh(runnable);
  +	}
  +	
   	protected void refreshViewer() {
   		refreshViewer(null);
   	}
  @@ -73,11 +77,17 @@
   		if( isEnabled() ) {
   			try {
   				if( o == null )
  -					JBossServerView.getDefault().refreshJBTree(provider);
  +					JBossServerView.getDefault().getJBViewer().refresh(provider);
   				else
  -					JBossServerView.getDefault().refreshJBTree(new ContentWrapper(o, provider));
  +					JBossServerView.getDefault().getJBViewer().refresh(new ContentWrapper(o, provider));
   			} catch(Exception e) {
   			}
   		}
   	}
  +	protected void removeElement(Object o) {
  +		JBossServerView.getDefault().getJBViewer().remove(new ContentWrapper(o, provider));
  +	}
  +	protected void addElement(Object parent, Object child) {
  +		JBossServerView.getDefault().getJBViewer().add(new ContentWrapper(parent, provider), new ContentWrapper(child, provider));
  +	}
   }