*/
package jalview.gui;
+import jalview.api.AlignmentViewPanel;
import jalview.util.MessageManager;
+import jalview.util.Platform;
import java.awt.Component;
import java.awt.event.ActionEvent;
private ViewSetProvider _allviews;
- private List<AlignmentPanel> _selectedviews;
+ private List<AlignmentViewPanel> _selectedviews;
private ItemListener _handler;
- @Override
- protected void finalize() throws Throwable
- {
- _selectedviews = null;
- _handler = null;
- _allviews = null;
- super.finalize();
- }
-
/**
* create a new view selection menu. This menu has some standard entries
* (select all, invert selection), and a checkbox for every view. Mousing over
* selection/deselection state
*/
public ViewSelectionMenu(String title, final ViewSetProvider allviews,
- final List<AlignmentPanel> selectedviews,
+ final List<AlignmentViewPanel> selectedviews,
final ItemListener handler)
{
super(title);
append = append || _selectedviews.size() > 1;
toggleview = new JCheckBoxMenuItem(
MessageManager.getString("label.select_many_views"), append);
- toggleview.setToolTipText(MessageManager
- .getString("label.toggle_enabled_views"));
+ toggleview.setToolTipText(
+ MessageManager.getString("label.toggle_enabled_views"));
toggleview.addItemListener(new ItemListener()
{
}
for (final AlignmentPanel ap : allviews)
{
- String nm = ((ap.getViewName() == null || ap.getViewName().length() == 0) ? ""
- : ap.getViewName() + " for ")
+ String nm = ((ap.getViewName() == null
+ || ap.getViewName().length() == 0) ? ""
+ : ap.getViewName() + " for ")
+ ap.alignFrame.getTitle();
final JCheckBoxMenuItem checkBox = new JCheckBoxMenuItem(nm,
_selectedviews.contains(ap));
}
}
});
+ final ViewSelectionMenu us=this;
checkBox.addMouseListener(new MouseAdapter()
{
@Override
{
try
{
- ap.setSelected(false);
} catch (Exception ex)
{
}
{
try
{
- ap.setSelected(true);
+ ap.setAlignFrameView();
} catch (Exception ex)
{
}