| java.lang.Object javax.swing.text.EditorKit javax.swing.text.DefaultEditorKit javax.swing.text.StyledEditorKit edu.rice.cs.drjava.model.repl.InteractionsEditorKit
InteractionsEditorKit | public class InteractionsEditorKit extends StyledEditorKit (Code) | | This is an editor kit for editing Java source files. It functions as the controller in the MVC arrangement.
It implements a factory for new documents, and it also has a factory for Views (the things that render the document).
version: $Id: InteractionsEditorKit.java 4255 2007-08-28 19:17:37Z mgricken $ |
InteractionsEditorKit | public InteractionsEditorKit()(Code) | | Creates a new editor kit
|
getContentType | public String getContentType()(Code) | | Get the MIME content type of the document.
"text/java" |
getViewFactory | final public ViewFactory getViewFactory()(Code) | | We want to use our ColoringView to render text, so here we return a factory that creates ColoringViews.
|
Methods inherited from javax.swing.text.DefaultEditorKit | public Caret createCaret()(Code)(Java Doc) public Document createDefaultDocument()(Code)(Java Doc) public Action[] getActions()(Code)(Java Doc) public String getContentType()(Code)(Java Doc) public ViewFactory getViewFactory()(Code)(Java Doc) public void read(InputStream in, Document doc, int pos) throws IOException, BadLocationException(Code)(Java Doc) public void read(Reader in, Document doc, int pos) throws IOException, BadLocationException(Code)(Java Doc) public void write(OutputStream out, Document doc, int pos, int len) throws IOException, BadLocationException(Code)(Java Doc) public void write(Writer out, Document doc, int pos, int len) throws IOException, BadLocationException(Code)(Java Doc)
|
Methods inherited from javax.swing.text.EditorKit | public Object clone()(Code)(Java Doc) abstract public Caret createCaret()(Code)(Java Doc) abstract public Document createDefaultDocument()(Code)(Java Doc) public void deinstall(JEditorPane c)(Code)(Java Doc) abstract public Action[] getActions()(Code)(Java Doc) abstract public String getContentType()(Code)(Java Doc) abstract public ViewFactory getViewFactory()(Code)(Java Doc) public void install(JEditorPane c)(Code)(Java Doc) abstract public void read(InputStream in, Document doc, int pos) throws IOException, BadLocationException(Code)(Java Doc) abstract public void read(Reader in, Document doc, int pos) throws IOException, BadLocationException(Code)(Java Doc) abstract public void write(OutputStream out, Document doc, int pos, int len) throws IOException, BadLocationException(Code)(Java Doc) abstract public void write(Writer out, Document doc, int pos, int len) throws IOException, BadLocationException(Code)(Java Doc)
|
|
|