protected JCheckBoxMenuItem padGapsMenuitem = new JCheckBoxMenuItem();\r
protected ButtonGroup colours = new ButtonGroup();\r
JMenuItem vamsasStore = new JMenuItem();\r
- protected JCheckBoxMenuItem showTranslation = new JCheckBoxMenuItem();\r
+ protected JMenuItem showTranslation = new JMenuItem();\r
public JMenuItem featureSettings = new JMenuItem();\r
JMenuItem fetchSequence = new JMenuItem();\r
protected JCheckBoxMenuItem smoothFont = new JCheckBoxMenuItem();\r