extend alignPanel api with OOMHandler call to raise OOM events appropriately in GUI

[jalview.git] / src / jalview / api / AlignmentViewPanel.java

diff --git a/src/jalview/api/AlignmentViewPanel.java b/src/jalview/api/AlignmentViewPanel.java
index d9c97f4..d971acb 100644 (file)
--- a/src/jalview/api/AlignmentViewPanel.java
+++ b/src/jalview/api/AlignmentViewPanel.java
@@ -26,9 +26,10 @@ import jalview.structure.StructureSelectionManager;
  * @author JimP
  *
  */
-public interface AlignmentViewPanel
+public interface AlignmentViewPanel extends OOMHandlerI
 {
 
   AlignmentI getAlignment();
   StructureSelectionManager getStructureSelectionManager();
+  void paintAlignment(boolean b);
 }