if (editors.length == 0) {
if (editorPropChangeListnener != null) {
// remove property change listener for editors
IPreferenceStore prefStore = WorkbenchPlugin.getDefault()
.getPreferenceStore();
prefStore
.removePropertyChangeListener(editorPropChangeListnener);
editorPropChangeListnener = null;
}
if (pinEditorHandlerActivation != null) {
// remove pin editor keyboard shortcut handler