Example #1
0
 // {{{ parseHighlightStyle()
 SyntaxStyle parseHighlightStyle(String style) {
   Font f = (resultTree != null) ? resultTree.getFont() : UIManager.getFont("Tree.font");
   SyntaxStyle s;
   try {
     s = SyntaxUtilities.parseStyle(style, f.getFamily(), f.getSize(), true, null);
   } catch (Exception e) {
     style = "color:#000000";
     s = SyntaxUtilities.parseStyle(style, f.getFamily(), f.getSize(), true);
   }
   return s;
 } // }}}
Example #2
0
  public static void initPainter(TextAreaPainter painter) {
    painter.setFont(jEdit.getFontProperty("view.font"));
    painter.setStructureHighlightEnabled(jEdit.getBooleanProperty("view.structureHighlight"));
    painter.setStructureHighlightColor(jEdit.getColorProperty("view.structureHighlightColor"));
    painter.setEOLMarkersPainted(jEdit.getBooleanProperty("view.eolMarkers"));
    painter.setEOLMarkerColor(jEdit.getColorProperty("view.eolMarkerColor"));
    painter.setWrapGuidePainted(jEdit.getBooleanProperty("view.wrapGuide"));
    painter.setWrapGuideColor(jEdit.getColorProperty("view.wrapGuideColor"));
    painter.setCaretColor(jEdit.getColorProperty("view.caretColor"));
    painter.setSelectionColor(jEdit.getColorProperty("view.selectionColor"));
    painter.setMultipleSelectionColor(jEdit.getColorProperty("view.multipleSelectionColor"));
    painter.setBackground(jEdit.getColorProperty("view.bgColor"));
    painter.setForeground(jEdit.getColorProperty("view.fgColor"));
    painter.setBlockCaretEnabled(jEdit.getBooleanProperty("view.blockCaret"));
    painter.setThickCaretEnabled(jEdit.getBooleanProperty("view.thickCaret"));
    painter.setLineHighlightEnabled(jEdit.getBooleanProperty("view.lineHighlight"));
    painter.setLineHighlightColor(jEdit.getColorProperty("view.lineHighlightColor"));
    painter.setAntiAlias(new AntiAlias(jEdit.getProperty("view.antiAlias")));
    painter.setFractionalFontMetricsEnabled(jEdit.getBooleanProperty("view.fracFontMetrics"));

    painter.setSelectionFgColor(jEdit.getColorProperty("view.selectionFgColor"));
    painter.setSelectionFgColorEnabled(jEdit.getBooleanProperty("view.selectionFg"));

    String defaultFont = jEdit.getProperty("view.font");
    int defaultFontSize = jEdit.getIntegerProperty("view.fontsize", 12);
    painter.setStyles(SyntaxUtilities.loadStyles(defaultFont, defaultFontSize));

    SyntaxStyle[] foldLineStyle = new SyntaxStyle[4];
    for (int i = 0; i <= 3; i++) {
      foldLineStyle[i] =
          GUIUtilities.parseStyle(
              jEdit.getProperty("view.style.foldLine." + i), defaultFont, defaultFontSize);
    }
    painter.setFoldLineStyle(foldLineStyle);
  }