}\r
}\r
\r
+ 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
/**\r
* DOCUMENT ME!\r
*\r
{\r
setScrollValues(av.getStartRes(), av.getStartSeq());\r
}\r
-\r
- if (this.getVisibleRect().getBounds() == g.getClipBounds()\r
- && overviewPanel != null)\r
- {\r
- overviewPanel.updateOverviewImage();\r
- }\r
}\r
\r
/**\r
\r
return height;\r
}\r
-\r
- /**\r
- * DOCUMENT ME!\r
- *\r
- * @author $author$\r
- * @version $Revision$\r
- */\r
- class Preview\r
- extends JFrame\r
- {\r
- /**\r
- * Creates a new Preview object.\r
- *\r
- * @param image DOCUMENT ME!\r
- */\r
- public Preview(Image image)\r
- {\r
- setResizable(true);\r
- setSize(image.getWidth(this), image.getHeight(this));\r
- setVisible(true);\r
- getContentPane().setLayout(new BorderLayout());\r
- getContentPane().add(new PreviewPanel(image), BorderLayout.CENTER);\r
- validate();\r
- repaint();\r
- }\r
- }\r
-\r
- /**\r
- * DOCUMENT ME!\r
- *\r
- * @author $author$\r
- * @version $Revision$\r
- */\r
- class PreviewPanel\r
- extends JPanel\r
- {\r
- Image image;\r
-\r
- /**\r
- * Creates a new PreviewPanel object.\r
- *\r
- * @param image DOCUMENT ME!\r
- */\r
- public PreviewPanel(Image image)\r
- {\r
- this.image = image;\r
- }\r
-\r
- /**\r
- * DOCUMENT ME!\r
- *\r
- * @param g DOCUMENT ME!\r
- */\r
- public void paintComponent(Graphics g)\r
- {\r
- if (image != null)\r
- {\r
- g.drawImage(image, 0, 0, this);\r
- }\r
- else\r
- {\r
- System.out.println("DEBUG:image is null");\r
- }\r
- }\r
- }\r
}\r