private MarkupIterator(
     @NotNull CharSequence charSequence,
     @NotNull RangeIterator rangeIterator,
     @NotNull EditorColorsScheme colorsScheme) {
   myRangeIterator = rangeIterator;
   mySegmentIterator =
       new SegmentIterator(
           charSequence, colorsScheme.getEditorFontName(), colorsScheme.getEditorFontSize());
 }
示例#2
0
  private void setupStyle() {
    Document document = myHTMLViewer.getDocument();
    if (!(document instanceof StyledDocument)) {
      return;
    }

    StyledDocument styledDocument = (StyledDocument) document;

    EditorColorsManager colorsManager = EditorColorsManager.getInstance();
    EditorColorsScheme scheme = colorsManager.getGlobalScheme();

    Style style = styledDocument.addStyle("active", null);
    StyleConstants.setFontFamily(style, scheme.getEditorFontName());
    StyleConstants.setFontSize(style, scheme.getEditorFontSize());
    styledDocument.setCharacterAttributes(0, document.getLength(), style, false);
  }
 @Override
 public Component getListCellRendererComponent(
     JList list, Object value, int index, boolean isSelected, boolean cellHasFocus) {
   if (value == ChooseByNameBase.NON_PREFIX_SEPARATOR) {
     Object previousElement = index > 0 ? list.getModel().getElementAt(index - 1) : null;
     return ChooseByNameBase.renderNonPrefixSeparatorComponent(
         getBackgroundColor(previousElement));
   } else {
     Component component =
         super.getListCellRendererComponent(list, value, index, isSelected, cellHasFocus);
     EditorColorsScheme scheme = EditorColorsManager.getInstance().getGlobalScheme();
     Font editorFont =
         new Font(scheme.getEditorFontName(), Font.PLAIN, scheme.getEditorFontSize());
     setFont(editorFont);
     return component;
   }
 }
  private void applyFontSize() {
    Document document = myEditorPane.getDocument();
    if (!(document instanceof StyledDocument)) {
      return;
    }

    StyledDocument styledDocument = (StyledDocument) document;
    if (myFontSizeStyle == null) {
      myFontSizeStyle = styledDocument.addStyle("active", null);
    }

    EditorColorsManager colorsManager = EditorColorsManager.getInstance();
    EditorColorsScheme scheme = colorsManager.getGlobalScheme();
    StyleConstants.setFontSize(myFontSizeStyle, scheme.getQuickDocFontSize().getSize());
    if (Registry.is("documentation.component.editor.font")) {
      StyleConstants.setFontFamily(myFontSizeStyle, scheme.getEditorFontName());
    }
    styledDocument.setCharacterAttributes(0, document.getLength(), myFontSizeStyle, false);
  }
 public CellRenderer(String name) {
   myName = name;
   EditorColorsScheme scheme = EditorColorsManager.getInstance().getGlobalScheme();
   FONT = new Font(scheme.getEditorFontName(), Font.PLAIN, scheme.getEditorFontSize());
   setOpaque(true);
 }