Community
Participate
Working Groups
Created attachment 275471 [details] Screenshot If the file changes outside Eclipse which is open in the Eclipse editor I get a "File Changed" dialog which uses Yes / No. See screenshot. To see this: 1.) Open a file 2.) Change it outside Eclipse, e.g., by checking out another old version from Git -> Dialog is displayed
Michael, something for you?
Mike, something for you?
Ok, which verbs do you want to see?
(In reply to Mike Majewski from comment #3) > Ok, which verbs do you want to see? I would suggest "Replace"/"Do not replace" but if you have better ideas, feel free to use it.
New Gerrit change created: https://git.eclipse.org/r/131899
New Gerrit change created: https://git.eclipse.org/r/132075
New Gerrit change created: https://git.eclipse.org/r/132077
Thanks, Mike.
Gerrit change https://git.eclipse.org/r/132077 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=bb585c8e491a149458dd733ba52c50721fa20e39