* while regular documents are *.txt.
*/
public FrameManager(DocumentManager documentManager, Document document, JFrame existingFrame) {
this.documentManager = documentManager;
this.document = document;
this.frame = existingFrame==null ? new KetFrame(documentManager, document) : existingFrame;
fullScreenFrame = null;
latexFilename = null;
clojureFilename = null;
htmlFilename = null;
}