Community
Participate
Working Groups
Old: Editor_error_activated_outofsync_message=The file ''{0}'' has been changed on the file system. Do you want to replace the editor contents with these changes? Suggest new: Editor_error_activated_outofsync_message=The file ''{0}'' has been changed. Replace the editor contents with these changes?
New Gerrit change created: https://git.eclipse.org/r/158395
Gerrit change https://git.eclipse.org/r/158395 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=65e31d339fb779686eea98bda954cfeb181898f3