Method disableBind

app/src/processing/app/helpers/Keys.java:189–193

(final JComponent component,
                                  final Action action,
                                  final KeyStroke keystroke, int condition)

  }

  private static void disableBind(final JComponent component,
                                  final Action action,
                                  final KeyStroke keystroke, int condition) {
    component.getInputMap(condition).put(keystroke, action);
  }

  private static final int CTRL = Toolkit.getDefaultToolkit()
      .getMenuShortcutKeyMask();