Parent Directory | Revision Log | Patch
revision 1.4 by abalkiss, Wed Sep 21 19:27:28 2005 UTC | revision 1.5 by abalkiss, Wed Sep 21 20:30:38 2005 UTC | |
---|---|---|
# | Line 55 import javax.swing.text.html.HTML.Tag; | Line 55 import javax.swing.text.html.HTML.Tag; |
55 | */ | */ |
56 | public class HTMLDocument extends DefaultStyledDocument | public class HTMLDocument extends DefaultStyledDocument |
57 | { | { |
58 | /** A key for document properies. The value for the key is | |
59 | * a Vector of Strings of comments not found in the body. | |
60 | */ | |
61 | public static final String AdditionalComments = "AdditionalComments"; | |
62 | URL baseURL = null; | URL baseURL = null; |
63 | boolean preservesUnknownTags = true; | boolean preservesUnknownTags = true; |
64 |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |