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

[Robert Stryker]

  User: rawb    
  Date: 06/11/15 17:26:58

  Modified:    as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/views/server 
                        JBossServerView.java
  Log:
  Rebuilt the event log API and fixed some UI bugs preventing an efficient refresh of the tree. 
  
  Revision  Changes    Path
  1.3       +1 -0      jbosside/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/views/server/JBossServerView.java
  
  (In the diff below, changes in quantity of whitespace are not shown.)
  
  Index: JBossServerView.java
  ===================================================================
  RCS file: /cvsroot/jboss/jbosside/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/views/server/JBossServerView.java,v
  retrieving revision 1.2
  retrieving revision 1.3
  diff -u -b -r1.2 -r1.3
  --- JBossServerView.java	10 Nov 2006 04:27:46 -0000	1.2
  +++ JBossServerView.java	15 Nov 2006 22:26:57 -0000	1.3
  @@ -257,6 +257,7 @@
   						JBossServerView.this.jbViewer.refresh();
   						JBossServerView.this.jbViewer.setExpandedElements(expanded);
   					} else {
  +						
   						Object[] expanded = JBossServerView.this.jbViewer.getExpandedElements();
   						JBossServerView.this.jbViewer.refresh(obj2);
   						JBossServerView.this.jbViewer.setExpandedElements(expanded);