* @author JimP
*
*/
-public interface AlignmentViewPanel
+public interface AlignmentViewPanel extends OOMHandlerI
{
AlignmentI getAlignment();
StructureSelectionManager getStructureSelectionManager();
+ void paintAlignment(boolean b);
}
--- /dev/null
+package jalview.api;
+
+public interface OOMHandlerI
+{
+
+ void raiseOOMWarning(String string, OutOfMemoryError error);
+
+}
{
return StructureSelectionManager.getStructureSelectionManager(av.applet);
}
+ @Override
+ public void raiseOOMWarning(String string, OutOfMemoryError error)
+ {
+ // TODO: JAL-960
+ System.err.println("Out of memory whilst '"+string+"'");
+ error.printStackTrace();
+ }
}
{
return av.getStructureSelectionManager();
}
+
+ @Override
+ public void raiseOOMWarning(String string, OutOfMemoryError error)
+ {
+ new OOMWarning(string, error, this);
+ }
}