setGUINucleotide(al.isNucleotide());\r
}\r
\r
- if(jalview.bin.Cache.getDefault("WRAP_ALIGNMENT", false))\r
+\r
+ if (jalview.bin.Cache.getDefault("WRAP_ALIGNMENT", false))\r
{\r
wrapMenuItem.setSelected(true);\r
wrapMenuItem_actionPerformed(null);\r
}\r
+\r
}\r
\r
/* Set up intrinsic listeners for dynamically generated GUI bits. */\r
*/\r
public void wrapMenuItem_actionPerformed(ActionEvent e)\r
{\r
- viewport.setWrapAlignment(wrapMenuItem.isSelected());\r
- alignPanel.setWrapAlignment(wrapMenuItem.isSelected());\r
scaleAbove.setVisible(wrapMenuItem.isSelected());\r
scaleLeft.setVisible(wrapMenuItem.isSelected());\r
scaleRight.setVisible(wrapMenuItem.isSelected());\r
- alignPanel.repaint();\r
+ viewport.setWrapAlignment(wrapMenuItem.isSelected());\r
+ alignPanel.setWrapAlignment(wrapMenuItem.isSelected());\r
}\r
\r
/**\r