43 |
import java.io.Serializable; |
import java.io.Serializable; |
44 |
|
|
45 |
import javax.swing.text.BadLocationException; |
import javax.swing.text.BadLocationException; |
46 |
|
import javax.swing.text.Document; |
47 |
import javax.swing.text.MutableAttributeSet; |
import javax.swing.text.MutableAttributeSet; |
48 |
import javax.swing.text.StyledEditorKit; |
import javax.swing.text.StyledEditorKit; |
49 |
|
|
79 |
) |
) |
80 |
throws IOException; |
throws IOException; |
81 |
} |
} |
82 |
|
|
83 |
/** |
/** |
84 |
* The "hook" that receives all information about the HTML document |
* The "hook" that receives all information about the HTML document |
85 |
* structure while parsing it. The methods are invoked by parser |
* structure while parsing it. The methods are invoked by parser |
248 |
* The "ident paragraph right" action. |
* The "ident paragraph right" action. |
249 |
*/ |
*/ |
250 |
public static final String PARA_INDENT_RIGHT = "html-para-indent-right"; |
public static final String PARA_INDENT_RIGHT = "html-para-indent-right"; |
251 |
|
|
252 |
|
/** |
253 |
|
* Create a text storage model for this type of editor. |
254 |
|
* |
255 |
|
* @return the model |
256 |
|
*/ |
257 |
|
public Document createDefaultDocument() |
258 |
|
{ |
259 |
|
HTMLDocument document = new HTMLDocument(); |
260 |
|
return document; |
261 |
|
} |
262 |
} |
} |