Use paintAlignment
[jalview.git] / src / jalview / gui / AlignmentPanel.java
index 62ee200..cdff8a3 100755 (executable)
@@ -558,6 +558,22 @@ public class AlignmentPanel
     }\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
@@ -598,12 +614,6 @@ public class AlignmentPanel
     {\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
@@ -1190,69 +1200,4 @@ public class AlignmentPanel
 \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