From 3675930b507deb9b39b95a8a721938c1aa7cbc5e Mon Sep 17 00:00:00 2001
From: emmanue1 <emmanue1@users.noreply.github.com>
Date: Wed, 1 Jul 2015 12:20:45 +0200
Subject: [PATCH] Adds 'Select Tab' popup menu entry

---
 .../view/component/panel/TabbedPanel.groovy   | 24 +++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/app/src/main/groovy/jd/gui/view/component/panel/TabbedPanel.groovy b/app/src/main/groovy/jd/gui/view/component/panel/TabbedPanel.groovy
index f7fe2564..6f61d89e 100644
--- a/app/src/main/groovy/jd/gui/view/component/panel/TabbedPanel.groovy
+++ b/app/src/main/groovy/jd/gui/view/component/panel/TabbedPanel.groovy
@@ -10,7 +10,9 @@ import jd.gui.api.feature.PreferencesChangeListener
 import jd.gui.api.feature.UriGettable
 import jd.gui.service.platform.PlatformService
 
+import javax.swing.AbstractAction
 import javax.swing.JComponent
+import javax.swing.JMenu
 import javax.swing.JMenuItem
 import javax.swing.JPopupMenu
 import javax.swing.ToolTipManager
@@ -19,6 +21,7 @@ import java.awt.BorderLayout
 import java.awt.CardLayout
 import java.awt.Color
 import java.awt.Component
+import java.awt.Font
 import java.awt.event.ActionEvent
 import java.awt.event.ActionListener
 
@@ -179,6 +182,27 @@ class TabbedPanel extends JPanel implements PreferencesChangeListener {
             })
             add(menuItem)
 
+            // Add 'Select Tab' popup menu entry
+            if ((tabbedPane.tabCount > 1) && (PlatformService.instance.isMac || 'true'.equals(preferences.get(TAB_LAYOUT)))) {
+                addSeparator()
+                def menu = new JMenu('Select Tab')
+                int count = tabbedPane.tabCount
+
+                for (int i=0; i<count; i++) {
+                    def subMenuItem = new JMenuItem(tabbedPane.getTitleAt(i), null)
+                    subMenuItem.addActionListener(new ActionListener() {
+                        final int index = i
+                        void actionPerformed(ActionEvent e) { tabbedPane.setSelectedIndex(index) }
+                    })
+                    if (component == tabbedPane.getComponentAt(i)) {
+                        subMenuItem.font = subMenuItem.font.deriveFont(Font.BOLD)
+                    }
+                    menu.add(subMenuItem)
+                }
+
+                add(menu)
+            }
+
             // Add SPI popup menu entries
             def actions = api.getContextualActions(component.entry, null)