Community
Participate
Working Groups
After Bug 72773 I think we should change the label from "Last Edit Location" to "Previous Edit Location".
Ari, WDYT? If you agree, can you provide a Gerrit?
Sure, I'll update
New Gerrit change created: https://git.eclipse.org/r/c/platform/eclipse.platform.text/+/167621
Thanks, Ari.
Gerrit change https://git.eclipse.org/r/c/platform/eclipse.platform.text/+/167621 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=f33e0c25c5dbfc6c2a169b97a1886ef60ad686c0