[BLUEJ-383] Deletion of key bindings are not honoured till BlueJ is restarted
If you delete a key binding it still works till you restart BlueJ. This behaviour doesn't exist when adding a key binding, that will take affect straight away.
This has the possibility to cause unexpected behaviour, when keys the user thought did nothing are still doing something.
Issue metadata
- Issue type: Bug
- Priority: Low
- Fix versions: 3.1.6