654655656657658659660661
final PlaceRequest place, final boolean force ) { if ( force || onMayCloseList.containsKey( place ) || activity.onMayClose() ) { onMayCloseList.remove( place ); activity.onClose(); workbenchPartCloseEvent.fire( new ClosePlaceEvent( place ) ); } }
663664665666667668669670
private void onWorkbenchPartBeforeClose( final PopupActivity activity, final PlaceRequest place, final boolean force ) { if ( force || activity.onMayClose() ) { activity.onClose(); workbenchPartCloseEvent.fire( new ClosePlaceEvent( place ) ); } }