diff options
| author | John Marino <marino@FreeBSD.org> | 2014-06-28 22:47:33 +0000 |
|---|---|---|
| committer | John Marino <marino@FreeBSD.org> | 2014-06-28 22:47:33 +0000 |
| commit | 2716b101e42b56d00f93aeeda01b1f09014fae64 (patch) | |
| tree | 84397e23912a83d42d5f628e54bd7c6c295a3120 /java/eclipse-devel/files/BindingModel.java.patch | |
| parent | - Stage (diff) | |
Remove java/eclipse-devel as java/eclipse is newer
Given the amount of work required to maintain a single version of eclipse,
it was thought prudent to focus maintenance efforts on a single port,
especially since the plugins are designed for java/eclipse, not the
development version. Discussed in PR.
PR: 188659
Notes
Notes:
svn path=/head/; revision=359724
Diffstat (limited to 'java/eclipse-devel/files/BindingModel.java.patch')
| -rw-r--r-- | java/eclipse-devel/files/BindingModel.java.patch | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/java/eclipse-devel/files/BindingModel.java.patch b/java/eclipse-devel/files/BindingModel.java.patch deleted file mode 100644 index 534f7060a753..000000000000 --- a/java/eclipse-devel/files/BindingModel.java.patch +++ /dev/null @@ -1,14 +0,0 @@ ---- 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, |