+ public void paintAlignment(boolean updateOverview)\r
+ {\r
+ repaint();\r
+\r
+ if(updateOverview)\r
+ {\r
+ jalview.structure.StructureSelectionManager.getStructureSelectionManager()\r
+ .sequenceColoursChanged(this);\r
+\r
+ if (overviewPanel != null)\r
+ {\r
+ overviewPanel.updateOverviewImage();\r
+ }\r
+ }\r
+ }\r
+\r