| java.lang.Object javax.swing.text.AbstractDocument javax.swing.text.DefaultStyledDocument snow.texteditor.SimpleDocument snow.texteditor.UndoableDocument
All known Subclasses: tide.editor.EditorDocument,
ignoreStyleUndos | public boolean ignoreStyleUndos(Code) | | |
UndoableDocument | public UndoableDocument()(Code) | | |
_setUndoEnabled | public void _setUndoEnabled(boolean state)(Code) | | |
addUndoManagerListener | public void addUndoManagerListener(ChangeListener listener)(Code) | | Allows one to listen to the undoManager state change,
used for the undo/redo button visibilities.
|
canRedo | public boolean canRedo()(Code) | | |
canUndo | public boolean canUndo()(Code) | | |
deleteUndoBuffer | public void deleteUndoBuffer()(Code) | | |
getAndRemoveUndoManager | final public UndoManager getAndRemoveUndoManager()(Code) | | Allow to retrieve the undo manager. Can be later readded
after the text has been repasted. Useful when simulating multiple documents in the same doc.
|
terminate | public void terminate()(Code) | | |
undoableEditHappened | public void undoableEditHappened(UndoableEditEvent e)(Code) | | Messaged when the Document has created an edit, the edit is
added to undo , an instance of UndoManager.
|
Methods inherited from snow.texteditor.SimpleDocument | public SimpleDocument append(String s)(Code)(Java Doc) public void append(JComponent c)(Code)(Java Doc) public void append(JComponent c, int pos, int len)(Code)(Java Doc) public Appendable append(char c)(Code)(Java Doc) public Appendable append(CharSequence csq)(Code)(Java Doc) public Appendable append(CharSequence csq, int start, int end)(Code)(Java Doc) public void appendClickableURL(String ref, int pos, int len)(Code)(Java Doc) public void appendDatedLine(String s)(Code)(Java Doc) public void appendError(String s)(Code)(Java Doc) public void appendErrorLine(String s)(Code)(Java Doc) public void appendLine(String s)(Code)(Java Doc) public void appendNamed(String txt, String prependLine)(Code)(Java Doc) public void clearDocument()(Code)(Java Doc) public PrintStream createPrintStreamForThisDocument(boolean errorMode)(Code)(Java Doc) public Writer createWriterForThisDocument(boolean errorMode)(Code)(Java Doc) public void decreaseFontSize()(Code)(Java Doc) public char getCharAt(int pos)(Code)(Java Doc) public String getText()(Code)(Java Doc) public String getTextFromTo(int start, int end)(Code)(Java Doc) public void increaseFontSize()(Code)(Java Doc) public SimpleDocument insertString(String s, int pos)(Code)(Java Doc) public static void main(String[] arguments)(Code)(Java Doc) public void replace(String txt, int pos, int len)(Code)(Java Doc) public int search(String str, int from, boolean ignoreCase)(Code)(Java Doc) public int searchBackward(String str, int from, boolean ignoreCase)(Code)(Java Doc) public void setTabsForDoc(int tabWidth, int nTabs)(Code)(Java Doc) public void setTabsForDoc(TabSet tabSet)(Code)(Java Doc) public void setText(String text)(Code)(Java Doc)
|
Fields inherited from javax.swing.text.DefaultStyledDocument | final public static int BUFFER_SIZE_DEFAULT(Code)(Java Doc) protected ElementBuffer buffer(Code)(Java Doc)
|
Methods inherited from javax.swing.text.DefaultStyledDocument | public void addDocumentListener(DocumentListener listener)(Code)(Java Doc) public Style addStyle(String nm, Style parent)(Code)(Java Doc) protected void create(ElementSpec[] data)(Code)(Java Doc) protected AbstractElement createDefaultRoot()(Code)(Java Doc) public Color getBackground(AttributeSet attr)(Code)(Java Doc) public Element getCharacterElement(int pos)(Code)(Java Doc) public Element getDefaultRootElement()(Code)(Java Doc) public Font getFont(AttributeSet attr)(Code)(Java Doc) public Color getForeground(AttributeSet attr)(Code)(Java Doc) public Style getLogicalStyle(int p)(Code)(Java Doc) public Element getParagraphElement(int pos)(Code)(Java Doc) public Style getStyle(String nm)(Code)(Java Doc) public Enumeration> getStyleNames()(Code)(Java Doc) protected void insert(int offset, ElementSpec[] data) throws BadLocationException(Code)(Java Doc) protected void insertUpdate(DefaultDocumentEvent chng, AttributeSet attr)(Code)(Java Doc) public void removeDocumentListener(DocumentListener listener)(Code)(Java Doc) public void removeElement(Element elem)(Code)(Java Doc) public void removeStyle(String nm)(Code)(Java Doc) protected void removeUpdate(DefaultDocumentEvent chng)(Code)(Java Doc) public void setCharacterAttributes(int offset, int length, AttributeSet s, boolean replace)(Code)(Java Doc) public void setLogicalStyle(int pos, Style s)(Code)(Java Doc) public void setParagraphAttributes(int offset, int length, AttributeSet s, boolean replace)(Code)(Java Doc) protected void styleChanged(Style style)(Code)(Java Doc)
|
Methods inherited from javax.swing.text.AbstractDocument | public void addDocumentListener(DocumentListener listener)(Code)(Java Doc) public void addUndoableEditListener(UndoableEditListener listener)(Code)(Java Doc) protected Element createBranchElement(Element parent, AttributeSet a)(Code)(Java Doc) protected Element createLeafElement(Element parent, AttributeSet a, int p0, int p1)(Code)(Java Doc) public synchronized Position createPosition(int offs) throws BadLocationException(Code)(Java Doc) public void dump(PrintStream out)(Code)(Java Doc) protected void fireChangedUpdate(DocumentEvent e)(Code)(Java Doc) protected void fireInsertUpdate(DocumentEvent e)(Code)(Java Doc) protected void fireRemoveUpdate(DocumentEvent e)(Code)(Java Doc) protected void fireUndoableEditUpdate(UndoableEditEvent e)(Code)(Java Doc) public int getAsynchronousLoadPriority()(Code)(Java Doc) final protected AttributeContext getAttributeContext()(Code)(Java Doc) public Element getBidiRootElement()(Code)(Java Doc) final protected Content getContent()(Code)(Java Doc) final protected synchronized Thread getCurrentWriter()(Code)(Java Doc) abstract public Element getDefaultRootElement()(Code)(Java Doc) public DocumentFilter getDocumentFilter()(Code)(Java Doc) public DocumentListener[] getDocumentListeners()(Code)(Java Doc) public Dictionary<Object, Object> getDocumentProperties()(Code)(Java Doc) final public Position getEndPosition()(Code)(Java Doc) public int getLength()(Code)(Java Doc) public T[] getListeners(Class<T> listenerType)(Code)(Java Doc) abstract public Element getParagraphElement(int pos)(Code)(Java Doc) final public Object getProperty(Object key)(Code)(Java Doc) public Element[] getRootElements()(Code)(Java Doc) final public Position getStartPosition()(Code)(Java Doc) public String getText(int offset, int length) throws BadLocationException(Code)(Java Doc) public void getText(int offset, int length, Segment txt) throws BadLocationException(Code)(Java Doc) public UndoableEditListener[] getUndoableEditListeners()(Code)(Java Doc) public void insertString(int offs, String str, AttributeSet a) throws BadLocationException(Code)(Java Doc) protected void insertUpdate(DefaultDocumentEvent chng, AttributeSet attr)(Code)(Java Doc) protected void postRemoveUpdate(DefaultDocumentEvent chng)(Code)(Java Doc) final public void putProperty(Object key, Object value)(Code)(Java Doc) final public synchronized void readLock()(Code)(Java Doc) final public synchronized void readUnlock()(Code)(Java Doc) public void remove(int offs, int len) throws BadLocationException(Code)(Java Doc) public void removeDocumentListener(DocumentListener listener)(Code)(Java Doc) public void removeUndoableEditListener(UndoableEditListener listener)(Code)(Java Doc) protected void removeUpdate(DefaultDocumentEvent chng)(Code)(Java Doc) public void render(Runnable r)(Code)(Java Doc) public void replace(int offset, int length, String text, AttributeSet attrs) throws BadLocationException(Code)(Java Doc) public void setAsynchronousLoadPriority(int p)(Code)(Java Doc) public void setDocumentFilter(DocumentFilter filter)(Code)(Java Doc) public void setDocumentProperties(Dictionary<Object, Object> x)(Code)(Java Doc) final protected synchronized void writeLock()(Code)(Java Doc) final protected synchronized void writeUnlock()(Code)(Java Doc)
|
|
|