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

[Robert Stryker]

  User: rawb    
  Date: 06/10/13 16:20:30

  Modified:    as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/views 
                        JBossServerView.java
  Log:
  Fixed issues regarding properties view not updating or having different references to the same object. It just wasn't very clean.... or functional actually. 
  
  Revision  Changes    Path
  1.10      +3 -2      jbosside/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/views/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/JBossServerView.java,v
  retrieving revision 1.9
  retrieving revision 1.10
  diff -u -b -r1.9 -r1.10
  --- JBossServerView.java	6 Oct 2006 18:20:09 -0000	1.9
  +++ JBossServerView.java	13 Oct 2006 20:20:30 -0000	1.10
  @@ -28,6 +28,7 @@
   import org.eclipse.jface.action.IMenuManager;
   import org.eclipse.jface.action.MenuManager;
   import org.eclipse.jface.action.Separator;
  +import org.eclipse.jface.viewers.ISelection;
   import org.eclipse.jface.viewers.ISelectionChangedListener;
   import org.eclipse.jface.viewers.IStructuredContentProvider;
   import org.eclipse.jface.viewers.ITreeContentProvider;
  @@ -43,7 +44,6 @@
   import org.eclipse.swt.widgets.Menu;
   import org.eclipse.swt.widgets.Shell;
   import org.eclipse.swt.widgets.Tree;
  -import org.eclipse.swt.widgets.TreeItem;
   import org.eclipse.ui.IMemento;
   import org.eclipse.ui.IViewSite;
   import org.eclipse.ui.PartInitException;
  @@ -191,8 +191,8 @@
   					jbViewer.expandToLevel(2);
   				} else {
   					// This is entirely too cludgy but it works
  +					ISelection sel = jbViewer.getSelection();
   					Object[] expanded = jbViewer.getExpandedElements();
  -					TreeItem[] items = jbViewer.getTree().getItems();
   					jbViewer.setInput(server);
   					jbViewer.expandToLevel(2);
   					Object[] alsoExpanded = jbViewer.getExpandedElements();
  @@ -200,6 +200,7 @@
   					tmp.addAll(Arrays.asList(expanded));
   					tmp.addAll(Arrays.asList(alsoExpanded));
   					jbViewer.setExpandedElements(tmp.toArray());
  +					jbViewer.setSelection(sel);
   				}
   			}