Ignore:
Timestamp:
Jun 3, 2013, 11:46:25 AM (11 years ago)
Author:
alloc
Message:

AEI2.15:

File:
1 edited

Legend:

Unmodified
Added
Removed
  • java/SwingComponents/src/net/oni2/swingcomponents/HTMLLinkLabel.java

    r849 r880  
    1515import javax.swing.event.HyperlinkListener;
    1616import javax.swing.text.DefaultCaret;
     17import javax.swing.text.html.CSS;
    1718import javax.swing.text.html.HTMLEditorKit;
    1819import javax.swing.text.html.StyleSheet;
     
    3940
    4041                setContentType("text/html");
    41 
    42                 HTMLEditorKit hek = (HTMLEditorKit) getEditorKit();
    43                 StyleSheet css = hek.getStyleSheet();
    44                 css.removeStyle("p");
    45 
     42               
    4643                Font font = new JLabel().getFont();
    4744
     
    8077
    8178        /**
     79         * Add or reset a CSS attribute for styling the text
     80         *
     81         * @param selector
     82         *            CSS selector
     83         * @param attribute
     84         *            CSS attribute
     85         * @param value
     86         *            Value
     87         */
     88        public void setCssAttribute(String selector, CSS.Attribute attribute,
     89                        String value) {
     90                HTMLEditorKit hek = (HTMLEditorKit) getEditorKit();
     91                StyleSheet css = hek.getStyleSheet();
     92                css.addRule(String.format("%s {%s: %s}", selector, attribute.toString(), value));
     93        }
     94
     95        /**
    8296         * Allow or forbid to set a non-null border
    8397         *
     
    99113        @Override
    100114        public void setText(String t) {
     115                if (t.startsWith("<p>"))
     116                        t = t.replaceFirst("<p>", "<p style=\"margin-top: 0\">");
    101117                super.setText(prefix + t + suffix);
    102118        }
Note: See TracChangeset for help on using the changeset viewer.