Package javax.swing.text.html

Examples of javax.swing.text.html.StyleSheet

104
105
106
107
108
109
110
111
112
113
     * @see freeplane.view.mindmapview.EditNodeBase.Dialog#close()
     */
    @Override
    protected void cancel() {
      super.cancel();
      final StyleSheet styleSheet = htmlEditorPanel.getDocument().getStyleSheet();
      styleSheet.removeStyle("p");
      styleSheet.removeStyle("BODY");
      getBase().getEditControl().cancel();
    }
View Full Code Here
151
152
153
154
155
156
157
158
159
160
161
     * @see freeplane.view.mindmapview.EditNodeBase.Dialog#split()
     */
    @Override
    protected void split() {
      super.split();
      final StyleSheet styleSheet = htmlEditorPanel.getDocument().getStyleSheet();
      styleSheet.removeStyle("p");
      styleSheet.removeStyle("body");
      getBase().getEditControl().split(HtmlUtils.unescapeHTMLUnicodeEntity(htmlEditorPanel.getDocumentText()),
          htmlEditorPanel.getCaretPosition());
    }
View Full Code Here
48
49
50
51
52
53
54
55
56
57
58
59
60
61
  super();
  capp = cap;
  setEditable(false);
  setContentType("text/html");
  HTMLEditorKit kit = new HTMLEditorKit();
  StyleSheet css = new StyleSheet();
  css.addRule("BODY{ margin : 0;}");
  css.addRule("P{ margin : 0;}");
  css.addRule("A{ color:#0000FF; text-decoration:underline;}");
  kit.setStyleSheet(css);
  setEditorKit(kit);
  setBackground(new Color(249, 249, 250));
 
    }
View Full Code Here
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
                    }
                    buf.append('"').append(newFont.getFamily()).append('"');
                    buf.append(" }");
                    String cssData = buf.toString();
                       
                    StyleSheet styleSheet;
                   
                    /* Update the default style sheet: */
                    styleSheet = ((HTMLEditorKit) ek).getStyleSheet();
                    styleSheet.addRule(cssData);
                   
                    /*
                     * Update the current document's style sheet, thus forcing
                     * the view to be refreshed:
                     */
                    styleSheet = ((HTMLDocument) html.getDocument()).getStyleSheet();
                    styleSheet.addRule(cssData);
                }
            }else if (changeName.equals("clear")) {
                html.setText("");
            }else if (changeName.equals("reload")) {
    URL url = html.getPage();
View Full Code Here
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
     * the index "x"
     * </ul>
     */
    public void setTextFontSize(String size) {
  int newsize, tmp;
  StyleSheet css = doc.getStyleSheet();
  try {
      if (size.equals("xx-small")) {
    newsize = (int)css.getPointSize(0);
      } else if (size.equals("x-small")) {
    newsize = (int)css.getPointSize(1);
      } else if (size.equals("small")) {
    newsize = (int)css.getPointSize(2);
      } else if (size.equals("medium")) {
    newsize = (int)css.getPointSize(3);
      } else if (size.equals("large")) {
    newsize = (int)css.getPointSize(4);
      } else if (size.equals("x-large")) {
    newsize = (int)css.getPointSize(5);
      } else if (size.equals("xx-large")) {
    newsize = (int)css.getPointSize(6);
      } else if (size.equals("bigger")) {
    newsize = (int)css.getPointSize("+1");
      } else if (size.equals("smaller")) {
    newsize = (int)css.getPointSize("-1");
      } else if (size.endsWith("pt")) {
    String sz = size.substring(0, size.length() - 2);
    newsize = Integer.parseInt(sz);
      } else {
    newsize = (int) css.getPointSize(size);
      }
  } catch (NumberFormatException nfe) {
      return;
  }
  if (newsize == 0) {
View Full Code Here
109
110
111
112
113
114
115
116
117
118
119
120
121
122
     *
     * @return the model
     */
    public Document createDefaultDocument()
    {
        StyleSheet styles = getStyleSheet();
        StyleSheet ss = new StyleSheet();

        ss.addStyleSheet(styles);

        HTMLDocument doc = new CustomHTMLDocument(ss);
        doc.setParser(getParser());
        doc.setAsynchronousLoadPriority(4);
        doc.setTokenThreshold(100);
View Full Code Here
128
129
130
131
132
133
134
135
136
137
138
     *
     * @return A <code>StyleSheet</code> containing the default HTML element styles.
     */
    public StyleSheet getStyleSheet()
    {
        StyleSheet style;

        if (useDefaultStyles)
        {
            if (defaultStyles == null) defaultStyles = loadStyles();
            style = defaultStyles;
View Full Code Here
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
     *
     * @return styles.
     */
    protected StyleSheet loadStyles()
    {
        StyleSheet styles = new StyleSheet();
        styles.addStyleSheet(super.getStyleSheet());

        try
        {
            String path = ResourceUtils.getString(stylesheetResourceID);
            InputStream is = ResourceUtils.getInputStream(path);
            Reader r = new BufferedReader(new InputStreamReader(is));
            styles.loadRules(r, null);
            r.close();
        } catch (Throwable e)
        {
            // on error we simply have no styles... the html
            // will look mighty wrong but still function.
View Full Code Here
328
329
330
331
332
333
334
335
336
337
338
339
    /**
     * Update any cached values that come from attributes.
     */
    protected void setPropertiesFromAttributes()
    {
        StyleSheet sheet = getStyleSheet();
        this.attr = sheet.getViewAttributes(this);

        // Gutters
        borderSize = (short)getIntAttr(HTML.Attribute.BORDER, isLink() ? LINK_BORDER : 0);
        if (borderSize == 0 && image == null) borderSize = 1;

View Full Code Here
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
        if (installFolders.size() > 0) {
            this.platformHome.setForeground(new Color (164,0,0));
            this.platformHome.setText (new File(URI.create(((URL)installFolders.iterator().next()).toExternalForm())).getAbsolutePath());
        }
        HTMLEditorKit htmlkit = new HTMLEditorKit();               
        StyleSheet css = htmlkit.getStyleSheet();
        if (css.getStyleSheets() == null) {
            StyleSheet css2 = new StyleSheet();
            Font f = jLabel1.getFont();
            css2.addRule(new StringBuffer("body { font-size: ").append(f.getSize()) // NOI18N
                .append("; font-family: ").append(f.getName()).append("; }").toString()); // NOI18N
            css2.addStyleSheet(css);
            htmlkit.setStyleSheet(css2);
        }
        jTextPane1.setEditorKit(htmlkit);       
        jTextPane1.setText(NbBundle.getMessage(BrokenPlatformCustomizer.class,"MSG_BrokenProject"));
    }
View Full Code Here
TOP

Related Classes of javax.swing.text.html.StyleSheet

  • client.RichEditor
  • com.atlauncher.utils.Resources
  • com.cellasoft.jchat.utils.Utils
  • com.groovesquid.GetAdsThread
  • com.hexidec.ekit.component.ExtendedHTMLEditorKit
  • com.hexidec.ekit.component.RelativeImageView
  • com.intellij.util.ui.UIUtil
  • com.jbidwatcher.ui.util.OptionUI
  • com.k42b3.zubat.amun.user.activity.ViewPanel$ActivityTable$ActivityRenderer
  • com.salas.bb.utils.uif.html.CustomHTMLEditorKit
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.