Community
Participate
Working Groups
3.7. To fix bug 248068 we added AbstractDecoratedTextEditor.handleEditorInputChanged() which queries the refresh preference from Platform Resources. We should add API to the document provider that allows to query its refresh capability and then move the code into AbstractTextEditor.handleEditorInputChanged().
We can do this (reopen this bug) if there's a real requirement for it.