1 files changed, 21 insertions, 17 deletions
diff --git a/javax/swing/text/Document.java b/javax/swing/text/Document.java
index 398030f08..fa7b1ce28 100644
--- a/javax/swing/text/Document.java
+++ b/javax/swing/text/Document.java
@@ -42,21 +42,25 @@ import javax.swing.event.*;
 
 public interface Document
 { 
-    void addDocumentListener(DocumentListener listener);
-    void addUndoableEditListener(UndoableEditListener listener);
-    Position createPosition(int offs);
-    Element getDefaultRootElement();
-    Position getEndPosition();
-    int getLength();
-    Object getProperty(Object key);
-    Element[] getRootElements();
-    Position getStartPosition();
-    String getText(int offset, int length);
-    void getText(int offset, int length, Segment txt);
-    void insertString(int offset, String str, AttributeSet a);
-    void putProperty(Object key, Object value);
-    void remove(int offs, int len);
-    void removeDocumentListener(DocumentListener listener);
-    void removeUndoableEditListener(UndoableEditListener listener);
-    void render(Runnable r);
+  public static final String StreamDescriptionProperty = "stream";
+  
+  public static final String TitleProperty = "text";
+
+  void addDocumentListener(DocumentListener listener);
+  void addUndoableEditListener(UndoableEditListener listener);
+  Position createPosition(int offs);
+  Element getDefaultRootElement();
+  Position getEndPosition();
+  int getLength();
+  Object getProperty(Object key);
+  Element[] getRootElements();
+  Position getStartPosition();
+  String getText(int offset, int length);
+  void getText(int offset, int length, Segment txt);
+  void insertString(int offset, String str, AttributeSet a);
+  void putProperty(Object key, Object value);
+  void remove(int offs, int len);
+  void removeDocumentListener(DocumentListener listener);
+  void removeUndoableEditListener(UndoableEditListener listener);
+  void render(Runnable r);
 }