else if (evt.getSource() == this.centreColumnLabelFlag)
{
centreColumnLabelFlag_stateChanged();
+ } else if (evt.getSource() == this.followMouseOverFlag)
+ {
+ mouseOverFlag_stateChanged();
}
alignPanel.paintAlignment(true);
}
+ private void mouseOverFlag_stateChanged()
+ {
+ viewport.followHighlight = followMouseOverFlag.getState();
+ // TODO: could kick the scrollTo mechanism to reset view for current searchresults.
+ }
+
private void centreColumnLabelFlag_stateChanged()
{
viewport.centreColumnLabels = centreColumnLabelFlag.getState();
CheckboxMenuItem centreColumnLabelFlag = new CheckboxMenuItem();
+ CheckboxMenuItem followMouseOverFlag = new CheckboxMenuItem();
+
private void jbInit() throws Exception
{
inputText.addActionListener(this);
centreColumnLabelFlag.setLabel("Centre column labels");
centreColumnLabelFlag.addItemListener(this);
-
+ followMouseOverFlag.setLabel("Automatic Scrolling");
+ followMouseOverFlag.addItemListener(this);
helpMenu.setLabel("Help");
documentation.setLabel("Documentation");
documentation.addActionListener(this);
viewMenu.add(menu1);
viewMenu.add(menu2);
viewMenu.addSeparator();
+ viewMenu.add(followMouseOverFlag);
viewMenu.add(annotationPanelMenuItem);
viewMenu.addSeparator();
viewMenu.add(sequenceFeatures);