Community
Participate
Working Groups
We could adopt this rule and remove the corresponding feature from the code editor. With a quickfix, this is easier to manage for the user than using the editor feature when auto-save is on.
Delivered as commit http://git.eclipse.org/c/orion/org.eclipse.orion.client.git/commit/?id=65c6703038164f60b570568a46acab813a9c8058