package openjava.debug.gui; import javax.swing.text.*; import javax.swing.text.html.*; import javax.swing.text.html.HTMLEditorKit; public class OJHTMLEditorKit extends HTMLEditorKit { public ViewFactory getViewFactory() { return new OJHTMLFactory(); } public static class OJHTMLFactory extends HTMLFactory { public View create( Element elem ) { Object o = elem.getAttributes().getAttribute( StyleConstants.NameAttribute ); System.err.println( elem.toString().trim() ); if (o instanceof HTML.Tag) { HTML.Tag kind = (HTML.Tag) o; if (kind == HTML.Tag.PRE) { // vertical box return new BlockView( elem, View.Y_AXIS ); } else if (kind == HTML.Tag.HEAD) { return new javax.swing.text.html.ParagraphView( elem ); } } return super.create( elem ); } } }
# | Change | User | Description | Committed | |
---|---|---|---|---|---|
#2 | 1462 | Julian Hyde | saffron: check in OpenJava20011117 source files, without any of my modifications | ||
#1 | 1461 | Julian Hyde |
saffron: First check in. Just documents, and the unmodified OpenJava 20001010 source files. |