FileDocument (GroIMP 2.1.6 API)

All Superinterfaces:: Document

All Known Implementing Classes:: TextEditorSupport.Doc

public interface FileDocument extends Document

A document that is opened by the text editor. It is linked to a FileSource to push the modifications in.

Field Summary

Fields inherited from interface javax.swing.text.Document
StreamDescriptionProperty, TitleProperty
Method Summary

Modifier and Type

Method

Description

MimeType

getMimeType()

String

getSystemId()

boolean

isEditable()

boolean

isModified()

void

save()

Methods inherited from interface javax.swing.text.Document
addDocumentListener, addUndoableEditListener, createPosition, getDefaultRootElement, getEndPosition, getLength, getProperty, getRootElements, getStartPosition, getText, getText, insertString, putProperty, remove, removeDocumentListener, removeUndoableEditListener, render

Method Details
- isModified
  
  boolean isModified()
- isEditable
  
  boolean isEditable()
- getSystemId
  
  String getSystemId()
- getMimeType
  
  MimeType getMimeType()
- save
  
  void save()