177178179180181182183184185186187
fLastProject = project; verifyListening(); } } finally { if (editorModel != null) editorModel.releaseFromRead(); } } if (fLastDocument != document || preferencesChanged) { String useTab = preferencesSupport.getPreferencesValue(