292293294295296297298299300301302
} }); newSash.addDisposeListener(new DisposeListener() { /** * @see org.eclipse.swt.events.DisposeListener#widgetDisposed(DisposeEvent) */ public void widgetDisposed(DisposeEvent e) { // Need to clear out the widget from current.