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 {
29 public AlignmentPanel[] getAllAlignmentPanels();
31 private ViewSetProvider _allviews;
32 private List<AlignmentPanel> _selectedviews;
33 private ItemListener _handler;
35 protected void finalize() throws Throwable
43 * create a new view selection menu. This menu has some standard entries
44 * (select all, invert selection), and a checkbox for every view. Mousing over
45 * a view entry will cause it to be raised/selected in the Desktop, allowing
46 * the user to easily identify which view is being referred to.
51 * all the views that might be selected
52 * @param selectedviews
53 * the list of selected views which will be updated when
54 * selection/deselections occur
56 * a handler called for each selection/deselection - use this to
57 * update any gui elements which need to reflect current
58 * selection/deselection state
60 public ViewSelectionMenu(String title,
61 final ViewSetProvider allviews,
62 final List<AlignmentPanel> selectedviews,
63 final ItemListener handler)
66 this._allviews = allviews;
67 this._selectedviews = selectedviews;
68 this._handler=handler;
69 addMenuListener(new MenuListener()
73 public void menuSelected(MenuEvent e)
80 public void menuDeselected(MenuEvent e)
82 // TODO Auto-generated method stub
87 public void menuCanceled(MenuEvent e)
89 // TODO Auto-generated method stub
94 private void rebuild() {
96 AlignmentPanel[] allviews=_allviews.getAllAlignmentPanels();
102 if (allviews.length >= 2)
105 add(item = new JMenuItem("Select all views"));
106 item.addActionListener(new ActionListener()
110 public void actionPerformed(ActionEvent e)
112 for (Component c : getMenuComponents())
114 if (c instanceof JCheckBoxMenuItem)
116 if (!((JCheckBoxMenuItem) c).isSelected())
118 ((JCheckBoxMenuItem) c).doClick();
124 add(item = new JMenuItem("Invert selection"));
125 item.addActionListener(new ActionListener()
129 public void actionPerformed(ActionEvent e)
131 for (Component c : getMenuComponents())
133 if (c instanceof JCheckBoxMenuItem)
135 ((JCheckBoxMenuItem) c).doClick();
142 for (AlignmentPanel ap : allviews)
144 String nm = ((ap.getViewName() == null || ap.getViewName().length() == 0) ? ""
145 : ap.getViewName() + " for ")
146 + ap.alignFrame.getTitle();
147 JCheckBoxMenuItem a = new JCheckBoxMenuItem(nm,
148 _selectedviews.contains(ap));
149 final AlignmentPanel p = ap;
150 a.addItemListener(new ItemListener()
153 public void itemStateChanged(ItemEvent e)
155 if (e.getStateChange() == e.SELECTED)
157 _selectedviews.add(p);
161 _selectedviews.remove(p);
163 _handler.itemStateChanged(e);
166 a.addMouseListener(new MouseListener()
170 public void mouseReleased(MouseEvent e)
172 // TODO Auto-generated method stub
177 public void mousePressed(MouseEvent e)
179 // TODO Auto-generated method stub
184 public void mouseExited(MouseEvent e)
188 p.setSelected(false);
189 } catch (Exception ex)
196 public void mouseEntered(MouseEvent e)
202 } catch (Exception ex)
209 public void mouseClicked(MouseEvent e)