From bbd3782a9c3b6234ec8cc5aef8dea84533ad37f7 Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@bug.st>
Date: Sat, 1 Feb 2014 19:30:52 +0100
Subject: [PATCH] Reintroduced 'Next Tab' and 'Prev Tab' click actions

---
 app/src/processing/app/EditorHeader.java | 32 +++++++++++-------------
 1 file changed, 15 insertions(+), 17 deletions(-)

diff --git a/app/src/processing/app/EditorHeader.java b/app/src/processing/app/EditorHeader.java
index dfa76f02a..956f4531f 100644
--- a/app/src/processing/app/EditorHeader.java
+++ b/app/src/processing/app/EditorHeader.java
@@ -34,6 +34,7 @@ import javax.swing.*;
 /**
  * Sketch tabs at the top of the editor window.
  */
+@SuppressWarnings("serial")
 public class EditorHeader extends JComponent {
   static Color backgroundColor;
   static Color textColor[] = new Color[2];
@@ -326,30 +327,27 @@ public class EditorHeader extends JComponent {
     //  KeyEvent.VK_LEFT and VK_RIGHT will make Windows beep
 
     item = new JMenuItem(_("Previous Tab"));
-    KeyStroke ctrlAltLeft =
-      KeyStroke.getKeyStroke(KeyEvent.VK_LEFT, Editor.SHORTCUT_ALT_KEY_MASK);
+    KeyStroke ctrlAltLeft = KeyStroke
+        .getKeyStroke(KeyEvent.VK_LEFT, Editor.SHORTCUT_ALT_KEY_MASK);
     item.setAccelerator(ctrlAltLeft);
-    // this didn't want to work consistently
-    /*
     item.addActionListener(new ActionListener() {
-        public void actionPerformed(ActionEvent e) {
-          editor.sketch.prevCode();
-        }
-      });
-    */
+      @Override
+      public void actionPerformed(ActionEvent e) {
+        editor.sketch.handlePrevCode();
+      }
+    });
     menu.add(item);
 
     item = new JMenuItem(_("Next Tab"));
-    KeyStroke ctrlAltRight =
-      KeyStroke.getKeyStroke(KeyEvent.VK_RIGHT, Editor.SHORTCUT_ALT_KEY_MASK);
+    KeyStroke ctrlAltRight = KeyStroke
+        .getKeyStroke(KeyEvent.VK_RIGHT, Editor.SHORTCUT_ALT_KEY_MASK);
     item.setAccelerator(ctrlAltRight);
-    /*
     item.addActionListener(new ActionListener() {
-        public void actionPerformed(ActionEvent e) {
-          editor.sketch.nextCode();
-        }
-      });
-    */
+      @Override
+      public void actionPerformed(ActionEvent e) {
+        editor.sketch.handleNextCode();
+      }
+    });
     menu.add(item);
 
     Sketch sketch = editor.getSketch();