*/
package jalview.gui;
+import jalview.api.AlignmentViewPanel;
import jalview.util.MessageManager;
import java.awt.Component;
{
public interface ViewSetProvider
{
- public AlignmentPanel[] getAllAlignmentPanels();
+ public AlignmentViewPanel[] getAllAlignmentPanels();
}
private ViewSetProvider _allviews;
- private List<AlignmentPanel> _selectedviews;
+ private List<AlignmentViewPanel> _selectedviews;
private ItemListener _handler;
* selection/deselection state
*/
public ViewSelectionMenu(String title, final ViewSetProvider allviews,
- final List<AlignmentPanel> selectedviews,
+ final List<AlignmentViewPanel> selectedviews,
final ItemListener handler)
{
super(title);
private void rebuild()
{
removeAll();
- AlignmentPanel[] allviews = _allviews.getAllAlignmentPanels();
+ AlignmentViewPanel[] allviews = _allviews.getAllAlignmentPanels();
if (allviews == null)
{
setVisible(false);
invertSel.setEnabled(append);
selectAll.setEnabled(append);
}
- for (final AlignmentPanel ap : allviews)
+ for (final AlignmentViewPanel ap : allviews)
{
String nm = ((ap.getViewName() == null
|| ap.getViewName().length() == 0) ? ""
: ap.getViewName() + " for ")
- + ap.alignFrame.getTitle();
+ + ap.getTitle();
final JCheckBoxMenuItem checkBox = new JCheckBoxMenuItem(nm,
_selectedviews.contains(ap));
checkBox.addItemListener(new ItemListener()