public Coloring getDefaultColoring() { return (Coloring)getColoringMap().get(SettingsNames.DEFAULT_COLORING); }
public Coloring getColoring(String coloringName) { return (Coloring) getColoringMap().get(coloringName); }
public Coloring getDefaultColoring() { return (Coloring) getColoringMap().get(SettingsNames.DEFAULT_COLORING); }
public Coloring getColoring(String coloringName) { return (Coloring)getColoringMap().get(coloringName); }
Map cm = getColoringMap(); Iterator i = cm.entrySet().iterator(); int maxHeight = 1;
protected void updateScrollPaneCornerColor() { Coloring lineColoring = (Coloring)getColoringMap().get(SettingsNames.LINE_NUMBER_COLORING); Coloring defaultColoring = (Coloring)getDefaultColoring(); Color backgroundColor; if (lineColoring.getBackColor() != null) backgroundColor = lineColoring.getBackColor(); else backgroundColor = defaultColoring.getBackColor(); glyphCorner.setBackground(backgroundColor); } }
protected void updateScrollPaneCornerColor() { Coloring lineColoring = (Coloring) getColoringMap().get(SettingsNames.LINE_NUMBER_COLORING); Coloring defaultColoring = (Coloring) getDefaultColoring(); Color backgroundColor; if (lineColoring.getBackColor() != null) backgroundColor = lineColoring.getBackColor(); else backgroundColor = defaultColoring.getBackColor(); glyphCorner.setBackground(backgroundColor); } }
System.err.println("EditorUI.updateLineHeight(): Computing lineHeight ..."); Map cm = getColoringMap(); Iterator i = cm.entrySet().iterator(); int maxHeight = 1;
private int computeLineNumberDigitWidth(Graphics g){ // Handle line number fonts and widths Coloring dc = getDefaultColoring(); Coloring lnc = (Coloring)getColoringMap().get(SettingsNames.LINE_NUMBER_COLORING); if (lnc != null) { Font lnFont = lnc.getFont(); if (lnFont == null) { lnFont = dc.getFont(); } if (component == null) return lineNumberDigitWidth; FontMetrics lnFM = (g == null) ? FontMetricsCache.getFontMetrics(lnFont, component) : g.getFontMetrics(lnFont); if (lnFM == null) return lineNumberDigitWidth; int maxWidth = 1; char[] digit = new char[1]; // will be used for '0' - '9' for (int i = 0; i <= 9; i++) { digit[0] = (char)('0' + i); maxWidth = Math.max(maxWidth, lnFM.charsWidth(digit, 0, 1)); } return maxWidth; } return lineNumberDigitWidth; }
Coloring lineColoring = (Coloring) editorUI.getColoringMap().get(SettingsNames.LINE_NUMBER_COLORING); Coloring defaultColoring = (Coloring) editorUI.getDefaultColoring();
Coloring lnc = (Coloring) getColoringMap().get(SettingsNames.LINE_NUMBER_COLORING); if (lnc != null) { Font lnFont = lnc.getFont();
if (editorUI == null) return ; Coloring lineColoring = (Coloring)editorUI.getColoringMap().get(SettingsNames.LINE_NUMBER_COLORING); Coloring defaultColoring = (Coloring)editorUI.getDefaultColoring();