addKeyListener();
}
-
+ /**
+ * Change the filename and format for the alignment, and
+ * enable the 'reload' button functionality.
+ * @param file valid filename
+ * @param format format of file
+ */
public void setFileName(String file, String format)
{
fileName = file;
}
/**
- * DOCUMENT ME!
+ * Paste contents of Jalview clipboard
*
- * @param newAlignment DOCUMENT ME!
+ * @param newAlignment true to paste to a new alignment, otherwise add to this.
*/
void paste(boolean newAlignment)
{