42 |
|
|
43 |
public interface Document |
public interface Document |
44 |
{ |
{ |
45 |
public static final String StreamDescriptionProperty = "stream"; |
String StreamDescriptionProperty = "stream"; |
46 |
|
|
47 |
public static final String TitleProperty = "text"; |
String TitleProperty = "text"; |
48 |
|
|
49 |
void addDocumentListener(DocumentListener listener); |
void addDocumentListener(DocumentListener listener); |
50 |
void addUndoableEditListener(UndoableEditListener listener); |
void addUndoableEditListener(UndoableEditListener listener); |