/** * Sets the font used for line numbers. * * @param font The font to use. This cannot be <code>null</code>. * @see #getLineNumberFont() */ public void setLineNumberFont(Font font) { if (font==null) { throw new IllegalArgumentException("font cannot be null"); } if (!font.equals(lineNumberFont)) { lineNumberFont = font; if (lineNumberList!=null) { lineNumberList.setFont(font); } } }
/** * Sets the font used for line numbers. * * @param font The font to use. This cannot be <code>null</code>. * @see #getLineNumberFont() */ public void setLineNumberFont(Font font) { if (font==null) { throw new IllegalArgumentException("font cannot be null"); } lineNumberList.setFont(font); }
/** * Sets the font used for line numbers. * * @param font The font to use. This cannot be <code>null</code>. * @see #getLineNumberFont() */ public void setLineNumberFont(Font font) { if (font==null) { throw new IllegalArgumentException("font cannot be null"); } lineNumberList.setFont(font); }
/** * Sets the font used for line numbers. * * @param font The font to use. This cannot be <code>null</code>. * @see #getLineNumberFont() */ public void setLineNumberFont(Font font) { if (font==null) { throw new IllegalArgumentException("font cannot be null"); } if (!font.equals(lineNumberFont)) { lineNumberFont = font; if (lineNumberList!=null) { lineNumberList.setFont(font); } } }
lineNumberList.setFont(getLineNumberFont()); lineNumberList.setForeground(getLineNumberColor()); lineNumberList.setLineNumberingStartIndex(
lineNumberList.setFont(getLineNumberFont()); lineNumberList.setForeground(getLineNumberColor()); lineNumberList.setLineNumberingStartIndex(