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
JAL-4034 Fix #2 show an icon and a button to press to initiate search
[jalview.git]
/
src
/
jalview
/
gui
/
ViewSelectionMenu.java
diff --git
a/src/jalview/gui/ViewSelectionMenu.java
b/src/jalview/gui/ViewSelectionMenu.java
index
2a7743a
..
f77f410
100644
(file)
--- a/
src/jalview/gui/ViewSelectionMenu.java
+++ b/
src/jalview/gui/ViewSelectionMenu.java
@@
-20,7
+20,9
@@
*/
package jalview.gui;
*/
package jalview.gui;
+import jalview.api.AlignmentViewPanel;
import jalview.util.MessageManager;
import jalview.util.MessageManager;
+import jalview.util.Platform;
import java.awt.Component;
import java.awt.event.ActionEvent;
import java.awt.Component;
import java.awt.event.ActionEvent;
@@
-56,7
+58,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
+81,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);
@@
-260,6
+262,7
@@
public class ViewSelectionMenu extends JMenu
}
}
});
}
}
});
+ final ViewSelectionMenu us = this;
checkBox.addMouseListener(new MouseAdapter()
{
@Override
checkBox.addMouseListener(new MouseAdapter()
{
@Override
@@
-267,7
+270,6
@@
public class ViewSelectionMenu extends JMenu
{
try
{
{
try
{
- ap.setSelected(false);
} catch (Exception ex)
{
}
} catch (Exception ex)
{
}
@@
-278,7
+280,7
@@
public class ViewSelectionMenu extends JMenu
{
try
{
{
try
{
- ap.setSelected(true);
+ ap.setAlignFrameView();
} catch (Exception ex)
{
}
} catch (Exception ex)
{
}