/** Called when the View is to be disposed. */ public void dispose() { instance.dispose(); instance = null; super.dispose(); }
/* * (non-Javadoc) * * @see org.eclipse.ui.part.WorkbenchPart#setFocus() */ public void setFocus() { instance.setFocus(); }