org.rosuda.JGR.toolkit
Class JGRStyledDocument
java.lang.Object
javax.swing.text.AbstractDocument
javax.swing.text.DefaultStyledDocument
org.rosuda.JGR.toolkit.JGRStyledDocument
- All Implemented Interfaces:
- Serializable, Document, StyledDocument
- Direct Known Subclasses:
- SyntaxDocument
public class JGRStyledDocument
- extends DefaultStyledDocument
- implements StyledDocument
JGRStyledDocument - apply styled when inserting text.
- Author:
- Markus Helbig
RoSuDa 2003 - 2004
- See Also:
- Serialized Form
|
Method Summary |
void |
insertString(int offset,
String str,
AttributeSet a)
because of a bug in the apple jre_1.4.1 we need to tell java everytime to
use the current fontsize |
| Methods inherited from class javax.swing.text.DefaultStyledDocument |
addDocumentListener, addStyle, create, createDefaultRoot, getBackground, getCharacterElement, getDefaultRootElement, getFont, getForeground, getLogicalStyle, getParagraphElement, getStyle, getStyleNames, insert, insertUpdate, removeDocumentListener, removeStyle, removeUpdate, setCharacterAttributes, setLogicalStyle, setParagraphAttributes, styleChanged |
| Methods inherited from class javax.swing.text.AbstractDocument |
addUndoableEditListener, createBranchElement, createLeafElement, createPosition, dump, fireChangedUpdate, fireInsertUpdate, fireRemoveUpdate, fireUndoableEditUpdate, getAsynchronousLoadPriority, getAttributeContext, getBidiRootElement, getContent, getCurrentWriter, getDocumentFilter, getDocumentListeners, getDocumentProperties, getEndPosition, getLength, getListeners, getProperty, getRootElements, getStartPosition, getText, getText, getUndoableEditListeners, postRemoveUpdate, putProperty, readLock, readUnlock, remove, removeUndoableEditListener, render, replace, setAsynchronousLoadPriority, setDocumentFilter, setDocumentProperties, writeLock, writeUnlock |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Methods inherited from interface javax.swing.text.StyledDocument |
addStyle, getBackground, getCharacterElement, getFont, getForeground, getLogicalStyle, getParagraphElement, getStyle, removeStyle, setCharacterAttributes, setLogicalStyle, setParagraphAttributes |
| Methods inherited from interface javax.swing.text.Document |
addDocumentListener, addUndoableEditListener, createPosition, getDefaultRootElement, getEndPosition, getLength, getProperty, getRootElements, getStartPosition, getText, getText, putProperty, remove, removeDocumentListener, removeUndoableEditListener, render |
tabSizeAttribute
public static final String tabSizeAttribute
- See Also:
- Constant Field Values
JGRStyledDocument
public JGRStyledDocument()
insertString
public void insertString(int offset,
String str,
AttributeSet a)
throws BadLocationException
- because of a bug in the apple jre_1.4.1 we need to tell java everytime to
use the current fontsize
- Specified by:
insertString in interface Document- Overrides:
insertString in class AbstractDocument
- Throws:
BadLocationException