org.apache.batik.util.gui.xmleditor
public class XMLTextEditor extends JEditorPane
JEditorPane editor = new JEditorPane(); editor.setEditorKitForContentType(XMLEditorKit.XML_MIME_TYPE, new XMLEditorKit(); editor.setContentType(XMLEditorKit.XML_MIME_TYPE);
Field Summary | |
---|---|
protected UndoManager | undoManager |
Constructor Summary | |
---|---|
XMLTextEditor() Creates a new instance of XMLEditorPane |
Method Summary | |
---|---|
void | gotoLine(int line) Move the cursor to the specified line
if exception occur cursor not change |
void | redo() Redo |
void | setText(String t) |
void | undo() Undo |
Parameters: line the specified line number