Community
Participate
Working Groups
new SaveablesLifecycleEvent(this, SaveablesLifecycleEvent.POST_CLOSE, (Saveable[]) knownSaveables.toArray(new Saveable[knownSaveables.size()]), false));
knownSaveables.clear();
}
if (oldInput instanceof CompareEditorInput) {
((CompareEditorInput) oldInput).dispose();