FileDocCategorySizeDatePackage
DebugHTMLEditorKit.javaAPI DocExample1791Thu Oct 24 20:14:26 BST 2002None

DebugHTMLEditorKit

public class DebugHTMLEditorKit extends HTMLEditorKit

Fields Summary
public static HTML$Tag
ORA
public static AttributeSet
currentAnchor
Constructors Summary
Methods Summary
public javax.swing.text.ViewFactorygetViewFactory()

    return new VerboseViewFactory();
  
public voidinstall(javax.swing.JEditorPane paneEditor)


      
    super.install(paneEditor);
    StyleSheet ss = getStyleSheet();
    java.util.Enumeration e = ss.getStyleNames();
    while (e.hasMoreElements()) {
      System.out.println(e.nextElement());
    }