[GROOVY-3398] Shift-Backspace does not delete character before caret

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 1.6
• Fix Version/s: 1.7.3, 1.8-beta-1
• Component/s: Groovy Console
• Flags: Patch
• Assignee: Paul King
• Reporter: Willem Verstraeten
• Created: 05/Mar/09 14:36
• Updated: 05/Apr/15 14:44
• Resolved: 13/May/10 00:42

Description

When typing in the groovyConsole, the Shift-Backspace combination cannot be used to delete the character before the caret. I've attached a patch that registers the correct actions with the correct key-stroke.