Community
Participate
Working Groups
F2 doesn't work. Alt+Shift+R should be used to execute rename like JDT does.
We should instead check why wouldn't F2 work. There is only one common "rename" command provided by platform. It's IMO much better to stick with this command rather than creating new ones.
I suppose it depends from which background one comes: like Angelo says, JDT uses Alt-Shift-R in the editor, not F2. The latter works however in the Navigator. I'm not sure how other tools assign the rename operation, but JDT is probably the most used one. I would argue that JDT did it wrong (probably for historical reasons), but I don't think we can ignore it. For me Alt-Shift-R is a reflex by now :-)
By which I mean, can we have both?
New Gerrit change created: https://git.eclipse.org/r/c/lsp4e/lsp4e/+/187107
Gerrit change https://git.eclipse.org/r/c/lsp4e/lsp4e/+/187107 was merged to [master]. Commit: http://git.eclipse.org/c/lsp4e/lsp4e.git/commit/?id=523218820520bc2298878bceb2b17dc6e8a3be9e
Thanks Victor for adding the shortcut.