home *** CD-ROM | disk | FTP | other *** search
- package javax.swing.plaf.basic;
-
- import java.awt.Color;
- import javax.swing.JComponent;
- import javax.swing.text.AttributeSet;
- import javax.swing.text.html.HTMLDocument;
- import javax.swing.text.html.StyleSheet;
-
- class BasicHTML$BasicDocument extends HTMLDocument {
- private JComponent host;
-
- BasicHTML$BasicDocument(StyleSheet var1) {
- super(var1);
- ((HTMLDocument)this).setPreservesUnknownTags(false);
- }
-
- public Color getForeground(AttributeSet var1) {
- Color var2 = super.getForeground(var1);
- return var2 instanceof BasicHTML.TaggedColor && this.host != null ? this.host.getForeground() : var2;
- }
-
- void setHost(JComponent var1) {
- this.host = var1;
- }
- }
-