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

[Robert Stryker]

  User: rawb    
  Date: 06/09/20 14:45:54

  Modified:    as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/viewproviders 
                        DescriptorXPathViewProvider.java
  Log:
  Widget is disposed error fixed.
  
  Revision  Changes    Path
  1.6       +10 -2     jbosside/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/viewproviders/DescriptorXPathViewProvider.java
  
  (In the diff below, changes in quantity of whitespace are not shown.)
  
  Index: DescriptorXPathViewProvider.java
  ===================================================================
  RCS file: /cvsroot/jboss/jbosside/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/viewproviders/DescriptorXPathViewProvider.java,v
  retrieving revision 1.5
  retrieving revision 1.6
  diff -u -b -r1.5 -r1.6
  --- DescriptorXPathViewProvider.java	19 Sep 2006 18:54:32 -0000	1.5
  +++ DescriptorXPathViewProvider.java	20 Sep 2006 18:45:54 -0000	1.6
  @@ -46,6 +46,8 @@
   import org.eclipse.jface.window.Window;
   import org.eclipse.swt.SWT;
   import org.eclipse.swt.custom.TreeEditor;
  +import org.eclipse.swt.events.DisposeEvent;
  +import org.eclipse.swt.events.DisposeListener;
   import org.eclipse.swt.events.SelectionEvent;
   import org.eclipse.swt.events.SelectionListener;
   import org.eclipse.swt.graphics.Color;
  @@ -649,6 +651,12 @@
   		protected void createXPathGroup(Composite main) {
   			xPathGroup = new Group(main, SWT.NONE);
   			
  +			xPathGroup.addDisposeListener(new DisposeListener() {
  +				public void widgetDisposed(DisposeEvent e) {
  +					input = null;
  +				} 
  +			} );
  +			
   			int groupWidth = 500;
   			
   			xPathGroup.setText("Descriptor Values");
  @@ -673,9 +681,9 @@
   			column2.setText("Attribute Key / Value");
   			column3.setText("XPath / XML");
   
  -			column.setWidth(groupWidth * 4 / 20);
  +			column.setWidth(groupWidth * 7 / 20);
   			column2.setWidth(groupWidth * 6 / 20);
  -			column3.setWidth(groupWidth * 9 / 20);
  +			column3.setWidth(groupWidth * 7 / 20);
   			
   
   			FormData treeData = new FormData();