1. refactoring Id: “Rename” = rename-refactoring
    shortcut: “org.eclipse.jdt.ui.edit.text.java.rename.element”

  2. refactoring: “Pretty-Print” = format-refactoring (source)
    shortcut: “org.eclipse.jdt.ui.edit.text.java.format”

Problem: (1) dynamically set Shift+Alt+R as a shortcut, (2) does not set Shift+Ctrl+F as a shortcut.
(Shortcuts are set in RefactoringButtonDelegate)

Submitted by Maartje on 26 July 2011 at 09:43

On 26 July 2011 at 09:44 Maartje tagged refactoring

On 26 July 2011 at 09:47 Maartje tagged spoofax209

On 26 July 2011 at 09:48 Maartje commented:

Related to: https://yellowgrass.org/issue/Spoofax/209


On 7 September 2011 at 12:04 Lennart Kats removed tag spoofax209

Log in to post comments