[BLUEJ-728] Can't edit some keybinding
Some keybinding are not editable/cannot be removed, such as: delete-previous: Ctrl+H or Shift-Backspace.
Need to investigate if this is due to the underlying swing control, since some of these keybindings are default ones.
Issue metadata
- Issue type: Bug
- Priority: Medium