From 2716b101e42b56d00f93aeeda01b1f09014fae64 Mon Sep 17 00:00:00 2001 From: John Marino Date: Sat, 28 Jun 2014 22:47:33 +0000 Subject: 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 --- java/eclipse-devel/files/BindingModel.java.patch | 14 -------------- 1 file changed, 14 deletions(-) delete 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 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, -- cgit v1.2.3