void () { if (myUsagePreviewPanel != null) { UsageViewSettings.getInstance().setPreviewUsagesSplitterProportion(((Splitter)myUsagePreviewPanel.getParent()).getProportion()); myUsagePreviewPanel = null; } isDisposed = true; ToolTipManager.sharedInstance().unregisterComponent(myTree); }