void-packages/srcpkgs/arduino/patches/ignore-touchbar.patch

22 lines
776 B
Diff

--- app/src/processing/app/EditorToolbar.java.orig 2019-02-26 02:26:15.309593724 +0100
+++ app/src/processing/app/EditorToolbar.java 2019-02-26 02:26:57.512244968 +0100
@@ -149,18 +149,6 @@
statusFont = Theme.getFont("buttons.status.font");
statusColor = Theme.getColor("buttons.status.color");
- if (OSUtils.isMacOS()) {
- editor.addWindowListener(new WindowAdapter() {
- public void windowActivated(WindowEvent e) {
- if (touchBar == null) {
- buildTouchBar();
-
- touchBar.show(editor);
- }
- }
- });
- }
-
addMouseListener(this);
addMouseMotionListener(this);
KeyboardFocusManager.getCurrentKeyboardFocusManager().addKeyEventDispatcher(this);