git://source.jalview.org
/
jalview.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge commit 'alpha/update_2_12_for_2_11_2_series_merge^2' into HEAD
[jalview.git]
/
src
/
jalview
/
gui
/
ViewSelectionMenu.java
diff --git
a/src/jalview/gui/ViewSelectionMenu.java
b/src/jalview/gui/ViewSelectionMenu.java
index
2a7743a
..
a1529fc
100644
(file)
--- a/
src/jalview/gui/ViewSelectionMenu.java
+++ b/
src/jalview/gui/ViewSelectionMenu.java
@@
-20,6
+20,7
@@
*/
package jalview.gui;
*/
package jalview.gui;
+import jalview.api.AlignmentViewPanel;
import jalview.util.MessageManager;
import java.awt.Component;
import jalview.util.MessageManager;
import java.awt.Component;
@@
-56,7
+57,7
@@
public class ViewSelectionMenu extends JMenu
private ViewSetProvider _allviews;
private ViewSetProvider _allviews;
- private List<AlignmentPanel> _selectedviews;
+ private List<AlignmentViewPanel> _selectedviews;
private ItemListener _handler;
private ItemListener _handler;
@@
-79,7
+80,7
@@
public class ViewSelectionMenu extends JMenu
* selection/deselection state
*/
public ViewSelectionMenu(String title, final ViewSetProvider allviews,
* selection/deselection state
*/
public ViewSelectionMenu(String title, final ViewSetProvider allviews,
- final List<AlignmentPanel> selectedviews,
+ final List<AlignmentViewPanel> selectedviews,
final ItemListener handler)
{
super(title);
final ItemListener handler)
{
super(title);