3 import java.awt.Component;
4 import java.awt.event.ActionEvent;
5 import java.awt.event.ActionListener;
6 import java.awt.event.ItemEvent;
7 import java.awt.event.ItemListener;
8 import java.awt.event.MouseEvent;
9 import java.awt.event.MouseListener;
10 import java.util.List;
12 import javax.swing.JCheckBoxMenuItem;
13 import javax.swing.JMenu;
14 import javax.swing.JMenuItem;
15 import javax.swing.event.MenuEvent;
16 import javax.swing.event.MenuListener;
19 * this is an implementation of an abstract Jalview GUI class that provides a
20 * dialog/menu which allows the user to select/deselect specific views from a
21 * list of associated views.
26 public class ViewSelectionMenu extends JMenu
28 public interface ViewSetProvider
30 public AlignmentPanel[] getAllAlignmentPanels();
33 private ViewSetProvider _allviews;
35 private List<AlignmentPanel> _selectedviews;
37 private ItemListener _handler;
40 protected void finalize() throws Throwable
42 _selectedviews = null;
49 * create a new view selection menu. This menu has some standard entries
50 * (select all, invert selection), and a checkbox for every view. Mousing over
51 * a view entry will cause it to be raised/selected in the Desktop, allowing
52 * the user to easily identify which view is being referred to.
57 * all the views that might be selected
58 * @param selectedviews
59 * the list of selected views which will be updated when
60 * selection/deselections occur
62 * a handler called for each selection/deselection - use this to
63 * update any gui elements which need to reflect current
64 * selection/deselection state
66 public ViewSelectionMenu(String title, final ViewSetProvider allviews,
67 final List<AlignmentPanel> selectedviews,
68 final ItemListener handler)
71 this._allviews = allviews;
72 this._selectedviews = selectedviews;
73 this._handler = handler;
74 addMenuListener(new MenuListener()
78 public void menuSelected(MenuEvent e)
85 public void menuDeselected(MenuEvent e)
87 // TODO Auto-generated method stub
92 public void menuCanceled(MenuEvent e)
94 // TODO Auto-generated method stub
101 * view selection modifier flag - indicates if an action key is pressed when
102 * menu selection event occurred.
104 private boolean append = false;
106 * flag indicating if the itemStateChanged listener for view associated menu items is currently enabled
108 private boolean enabled = true;
109 private JMenuItem selectAll, invertSel;
110 private JCheckBoxMenuItem toggleview=null;
111 private void rebuild()
114 AlignmentPanel[] allviews = _allviews.getAllAlignmentPanels();
115 if (allviews == null)
120 if (allviews.length >= 2)
123 toggleview = new JCheckBoxMenuItem("Select many views",append);
124 toggleview.setToolTipText("When selected, toggles whether a particular view is used to colour the alignment.");
125 toggleview.addItemListener(new ItemListener() {
128 public void itemStateChanged(ItemEvent arg0)
133 selectAll.setEnabled(append);
134 invertSel.setEnabled(append);
141 add(selectAll= new JMenuItem("Select all views"));
142 selectAll.addActionListener(new ActionListener()
146 public void actionPerformed(ActionEvent e)
148 for (Component c : getMenuComponents())
152 if (c instanceof JCheckBoxMenuItem)
154 if (toggleview!=c && !((JCheckBoxMenuItem) c).isSelected())
156 ((JCheckBoxMenuItem) c).doClick();
163 add(invertSel = new JMenuItem("Invert selection"));
164 invertSel.addActionListener(new ActionListener()
168 public void actionPerformed(ActionEvent e)
172 for (Component c : getMenuComponents())
174 if (toggleview!=c && c instanceof JCheckBoxMenuItem)
176 ((JCheckBoxMenuItem) c).doClick();
182 invertSel.setEnabled(append);
183 selectAll.setEnabled(append);
185 for (AlignmentPanel ap : allviews)
187 String nm = ((ap.getViewName() == null || ap.getViewName().length() == 0) ? ""
188 : ap.getViewName() + " for ")
189 + ap.alignFrame.getTitle();
190 final JCheckBoxMenuItem a = new JCheckBoxMenuItem(nm,
191 _selectedviews.contains(ap));
192 final AlignmentPanel p = ap;
193 a.addItemListener(new ItemListener()
196 public void itemStateChanged(ItemEvent e)
202 if (e.getStateChange() == e.SELECTED)
204 _selectedviews.add(p);
208 _selectedviews.remove(p);
210 _handler.itemStateChanged(e);
214 // Deselect everything and select this item only
215 _selectedviews.clear();
216 _selectedviews.add(p);
218 for (Component c : getMenuComponents())
220 if (c instanceof JCheckBoxMenuItem)
222 ((JCheckBoxMenuItem) c).setSelected(a == c);
226 // only fire event if we weren't selected before
227 _handler.itemStateChanged(e);
232 a.addMouseListener(new MouseListener()
236 public void mouseReleased(MouseEvent e)
238 // TODO Auto-generated method stub
243 public void mousePressed(MouseEvent e)
245 // TODO Auto-generated method stub
250 public void mouseExited(MouseEvent e)
254 p.setSelected(false);
255 } catch (Exception ex)
262 public void mouseEntered(MouseEvent e)
268 } catch (Exception ex)
275 public void mouseClicked(MouseEvent e)