From e19c8e662058685eb69a636b46c538f051fa0204 Mon Sep 17 00:00:00 2001 From: "George V. Neville-Neil" Date: Sat, 17 Aug 2013 17:37:03 +0000 Subject: 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. --- java/eclipse-devel/files/BindingModel.java.patch | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 java/eclipse-devel/files/BindingModel.java.patch (limited to 'java/eclipse-devel/files/BindingModel.java.patch') diff --git a/java/eclipse-devel/files/BindingModel.java.patch b/java/eclipse-devel/files/BindingModel.java.patch new file mode 100644 index 000000000000..534f7060a753 --- /dev/null +++ b/java/eclipse-devel/files/BindingModel.java.patch @@ -0,0 +1,14 @@ +--- 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, -- cgit v1.2.3