ports/java/eclipse-devel/files/BindingModel.java.patch
George V. Neville-Neil e19c8e6620 Apply a patch for a bug that effects the Keys preference, wherein
switching to and from Emacs and Default keybindings pollutes
both sets with duplicates.

Bump the port revision.
2013-08-17 17:37:03 +00:00

14 lines
542 B
Diff

--- BindingModel.java 2013-08-13 13:47:55.000000000 -0400
+++ BindingModel.java 2013-08-13 13:48:48.000000000 -0400
@@ -237,7 +237,10 @@
if (obj instanceof Binding) {
Binding b = (Binding) obj;
if (!activeManagerBindings.contains(b)) {
- be.fill(b.getParameterizedCommand());
+ ParameterizedCommand cmd = b.getParameterizedCommand();
+ if (cmd != null) {
+ commandToElement.remove(cmd);
+ }
bindingToElement.remove(b);
i.remove();
controller.firePropertyChange(this, PROP_BINDING_REMOVE,