extend alignPanel api with OOMHandler call to raise OOM events appropriately in GUI
[jalview.git] / src / jalview / api / AlignmentViewPanel.java
index a7acc66..d971acb 100644 (file)
@@ -1,6 +1,6 @@
 /*******************************************************************************
  * Jalview - A Sequence Alignment Editor and Viewer (Version 2.7)
- * Copyright (C) 2011 J Procter, AM Waterhouse, G Barton, M Clamp, S Searle
+ * Copyright (C) 2011 J Procter, AM Waterhouse, J Engelhardt, LM Lui, G Barton, M Clamp, S Searle
  *
  * This file is part of Jalview.
  *
@@ -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);
 }