diff options
| author | George V. Neville-Neil <gnn@FreeBSD.org> | 2013-08-17 17:37:03 +0000 |
|---|---|---|
| committer | George V. Neville-Neil <gnn@FreeBSD.org> | 2013-08-17 17:37:03 +0000 |
| commit | e19c8e662058685eb69a636b46c538f051fa0204 (patch) | |
| tree | 2477e42341321e880269c94d3a8f7379730642cf /java/eclipse-devel/files/BindingModel.java.patch | |
| parent | Update to version 1.8.2, take maintainership. (diff) | |
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.
Diffstat (limited to 'java/eclipse-devel/files/BindingModel.java.patch')
| -rw-r--r-- | java/eclipse-devel/files/BindingModel.java.patch | 14 |
1 files changed, 14 insertions, 0 deletions
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, |