annotationPanelMenuItem.setState(viewport.showAnnotation);
displayNonconservedMenuItem.setState(viewport.getShowunconserved());
+ followMouseOverFlag.setState(viewport.getFollowHighlight());
seqLimits.setState(viewport.showJVSuffix);
viewport.applet.getSize().height - embeddedMenu.HEIGHT
- statusBar.HEIGHT);
viewport.applet.add(alignPanel, BorderLayout.CENTER);
+ final AlignFrame me = this;
+ viewport.applet.addFocusListener(new FocusListener()
+ {
+
+ @Override
+ public void focusLost(FocusEvent e)
+ {
+ if (me.viewport.applet.currentAlignFrame==me) {
+ me.viewport.applet.currentAlignFrame = null;
+ }}
+
+ @Override
+ public void focusGained(FocusEvent e)
+ {
+ me.viewport.applet.currentAlignFrame = me;
+ }
+ });
viewport.applet.validate();
}
else