public interface FileEditArea
Modifier and Type | Method and Description |
---|---|
boolean |
isSaved()
Check if the theory in the edit area has been modified after the
last Save operation.
|
void |
setSaved(boolean flag)
Set the saved flag for the theory contained in the edit area after
the last Save operation.
|
void setSaved(boolean flag)
flag
- true
if the theory has been modified ,
false
otherwise.boolean isSaved()
true
if the theory has been modified,
false
otherwise.