public void changeFont() { font = DisplayOptions.getFont(fontName, fontStyle, fontSize); setFont(font); fontH = font.getSize(); rHeight = fontH; if (!inEditMode) { if ((curDim.height > 0) && (rHeight > curDim.height)) { adjustFont(curDim.width, curDim.height); } } repaint(); }
public void adjustFont(int w, int h) { if (h <= 0) return; int oldH = rHeight; if (font == null) { font = getFont(); fontH = font.getSize(); rHeight = fontH; } nHeight = h; if (fontH >= h) rHeight = h - 2; else rHeight = fontH; if ((rHeight < 10) && (fontH > 10)) rHeight = 10; if (oldH != rHeight) { // Font curFont = font.deriveFont((float) rHeight); Font curFont = DisplayOptions.getFont(font.getName(), font.getStyle(), rHeight); setFont(curFont); } if (rHeight > h) rHeight = h; }