- modifyPID.setText("Modify Identity Threshold...");
- modifyPID.addActionListener(new java.awt.event.ActionListener()
+ centreColumnLabelsMenuItem.setVisible(true);
+ centreColumnLabelsMenuItem.setState(false);
+ centreColumnLabelsMenuItem.setText("Centre Column Labels");
+ centreColumnLabelsMenuItem
+ .addActionListener(new java.awt.event.ActionListener()
+ {
+ public void actionPerformed(ActionEvent e)
+ {
+ centreColumnLabels_actionPerformed(e);
+ }
+ });
+ followHighlightMenuItem.setVisible(true);
+ followHighlightMenuItem.setState(true);
+ followHighlightMenuItem.setText("Automatic Scrolling");
+ followHighlightMenuItem.addActionListener(new ActionListener()