I'm asking this here because I don't see an issues list on the github repo for IntelliJ CE.
I recently created a JetBrains plugin to handle EditorConfig files, and I found that it would be useful to have an event fired after each file is done saving. This could mean adding methods like "doneSavingDocument" and "doneSavingAllDocuments". I added these for my purposes in my plugin by registering an alternative implementation of FileDocumentManager, but it would be nice if I (or other plugin developers) didn't have to do that. Does this sound like a good idea, or am I missing a better way of doing what I'm doing?
On a similar note, I think it would be useful for PropertyChangeListeners to be able to watch for changes to EditorSettings like "tabWidth". In fact, it looks maybe this used to exist in EditorSettingsExternalizable? Because currently EditorSettingsExternalizable has a private PropertyChangeSupport field, but it is never used to fire property change events when its properties change.
If others agree that these events would be useful, I'm happy to submit a pull request in the Community Edition on github.