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.
23 * Includes patches related to JAL-641
28 public class ViewSelectionMenu extends JMenu
30 public interface ViewSetProvider
32 public AlignmentPanel[] getAllAlignmentPanels();
35 private ViewSetProvider _allviews;
37 private List<AlignmentPanel> _selectedviews;
39 private ItemListener _handler;
42 protected void finalize() throws Throwable
44 _selectedviews = null;
51 * create a new view selection menu. This menu has some standard entries
52 * (select all, invert selection), and a checkbox for every view. Mousing over
53 * a view entry will cause it to be raised/selected in the Desktop, allowing
54 * the user to easily identify which view is being referred to.
59 * all the views that might be selected
60 * @param selectedviews
61 * the list of selected views which will be updated when
62 * selection/deselections occur
64 * a handler called for each selection/deselection - use this to
65 * update any gui elements which need to reflect current
66 * selection/deselection state
68 public ViewSelectionMenu(String title, final ViewSetProvider allviews,
69 final List<AlignmentPanel> selectedviews,
70 final ItemListener handler)
73 this._allviews = allviews;
74 this._selectedviews = selectedviews;
75 this._handler = handler;
76 addMenuListener(new MenuListener()
80 public void menuSelected(MenuEvent e)
87 public void menuDeselected(MenuEvent e)
89 // TODO Auto-generated method stub
94 public void menuCanceled(MenuEvent e)
96 // TODO Auto-generated method stub
103 * view selection modifier flag - indicates if an action key is pressed when
104 * menu selection event occurred.
106 private boolean append = false;
108 * flag indicating if the itemStateChanged listener for view associated menu items is currently enabled
110 private boolean enabled = true;
111 private JMenuItem selectAll, invertSel;
112 private JCheckBoxMenuItem toggleview=null;
113 private void rebuild()
116 AlignmentPanel[] allviews = _allviews.getAllAlignmentPanels();
117 if (allviews == null)
122 if (allviews.length >= 2)
125 toggleview = new JCheckBoxMenuItem("Select many views",append);
126 toggleview.setToolTipText("When enabled, allows many views to be selected.");
127 toggleview.addItemListener(new ItemListener() {
130 public void itemStateChanged(ItemEvent arg0)
135 selectAll.setEnabled(append);
136 invertSel.setEnabled(append);
143 add(selectAll= new JMenuItem("Select all views"));
144 selectAll.addActionListener(new ActionListener()
148 public void actionPerformed(ActionEvent e)
150 for (Component c : getMenuComponents())
154 if (c instanceof JCheckBoxMenuItem)
156 if (toggleview!=c && !((JCheckBoxMenuItem) c).isSelected())
158 ((JCheckBoxMenuItem) c).doClick();
165 add(invertSel = new JMenuItem("Invert selection"));
166 invertSel.addActionListener(new ActionListener()
170 public void actionPerformed(ActionEvent e)
174 for (Component c : getMenuComponents())
176 if (toggleview!=c && c instanceof JCheckBoxMenuItem)
178 ((JCheckBoxMenuItem) c).doClick();
184 invertSel.setEnabled(append);
185 selectAll.setEnabled(append);
187 for (AlignmentPanel ap : allviews)
189 String nm = ((ap.getViewName() == null || ap.getViewName().length() == 0) ? ""
190 : ap.getViewName() + " for ")
191 + ap.alignFrame.getTitle();
192 final JCheckBoxMenuItem a = new JCheckBoxMenuItem(nm,
193 _selectedviews.contains(ap));
194 final AlignmentPanel p = ap;
195 a.addItemListener(new ItemListener()
198 public void itemStateChanged(ItemEvent e)
205 // toggle the inclusion state
206 if (_selectedviews.indexOf(p)==-1)
208 _selectedviews.add(p);
213 _selectedviews.remove(p);
214 a.setSelected(false);
217 _handler.itemStateChanged(e);
221 // Deselect everything and select this item only
222 _selectedviews.clear();
223 _selectedviews.add(p);
225 for (Component c : getMenuComponents())
227 if (c instanceof JCheckBoxMenuItem)
229 ((JCheckBoxMenuItem) c).setSelected(a == c);
233 // only fire event if we weren't selected before
234 _handler.itemStateChanged(e);
239 a.addMouseListener(new MouseListener()
243 public void mouseReleased(MouseEvent e)
245 // TODO Auto-generated method stub
250 public void mousePressed(MouseEvent e)
252 // TODO Auto-generated method stub
257 public void mouseExited(MouseEvent e)
261 p.setSelected(false);
262 } catch (Exception ex)
269 public void mouseEntered(MouseEvent e)
275 } catch (Exception ex)
282 public void mouseClicked(MouseEvent e)