From: Jim Procter <jprocter@issues.jalview.org>
Date: Fri, 12 May 2017 13:56:21 +0000 (+0100)
Subject: JAL-2388 checkbox in overview popup for applet
X-Git-Tag: Release_2_10_2~3^2~92^2~1
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=0a567b37fc63cbddb414749aa5fd0ed16f1c6461;p=jalview.git

JAL-2388 checkbox in overview popup for applet
---

diff --git a/src/jalview/appletgui/OverviewPanel.java b/src/jalview/appletgui/OverviewPanel.java
index 8c2b54b..b933d30 100755
--- a/src/jalview/appletgui/OverviewPanel.java
+++ b/src/jalview/appletgui/OverviewPanel.java
@@ -27,15 +27,15 @@ import jalview.viewmodel.OverviewDimensionsHideHidden;
 import jalview.viewmodel.OverviewDimensionsShowHidden;
 
 import java.awt.BorderLayout;
+import java.awt.CheckboxMenuItem;
 import java.awt.Dimension;
-import java.awt.MenuItem;
 import java.awt.Panel;
 import java.awt.PopupMenu;
-import java.awt.event.ActionEvent;
-import java.awt.event.ActionListener;
 import java.awt.event.ComponentAdapter;
 import java.awt.event.ComponentEvent;
 import java.awt.event.InputEvent;
+import java.awt.event.ItemEvent;
+import java.awt.event.ItemListener;
 import java.awt.event.MouseEvent;
 import java.awt.event.MouseListener;
 import java.awt.event.MouseMotionListener;
@@ -208,19 +208,19 @@ public class OverviewPanel extends Panel implements Runnable,
   private void showPopupMenu(MouseEvent e)
   {
     PopupMenu popup = new PopupMenu();
-    ActionListener menuListener = new ActionListener()
+    ItemListener menuListener = new ItemListener()
     {
       @Override
-      public void actionPerformed(ActionEvent event)
+      public void itemStateChanged(ItemEvent e)
       {
-        // switch on/off the hidden columns view
         toggleHiddenColumns();
       }
     };
-    MenuItem item = new MenuItem(
+    CheckboxMenuItem item = new CheckboxMenuItem(
             MessageManager.getString("label.togglehidden"));
+    item.setState(showHidden);
     popup.add(item);
-    item.addActionListener(menuListener);
+    item.addItemListener(menuListener);
     this.add(popup);
     popup.show(this, e.getX(), e.getY());
   }