Method Summary |
|
public static TextDocument | createEmpty(String title, int format) Return a new TextDocument with no associated file and
empty text. |
public static TextDocument | createFromFile(File file, int format) Return a TextDocument created from the contents of the given
file. |
public File | getFile() |
public int | getFormat() Return the format of this document. |
public MConstText | getText() Return this document's styled text. |
public String | getTitle() Return the title of this document. |
public boolean | isModified() Return true if this document's text differs from the contents
of its file. |
public boolean | save() Write the document's text to its file. |
public void | setFile(File file) Set this document's file. |
public void | setFormat(int format) Set the format of this document. |
public void | setTextPanel(MTextPanel textPanel) Set the MTextPanel that will be used to edit the document's
text. |