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();
}
@Override
public UIDefaults getDefaults() {
try {
final Method superMethod = BasicLookAndFeel.class.getDeclaredMethod("getDefaults");
superMethod.setAccessible(true);
final UIDefaults metalDefaults = (UIDefaults) superMethod.invoke(new MetalLookAndFeel());
final UIDefaults defaults = (UIDefaults) superMethod.invoke(base);
if (SystemInfo.isLinux) {
if (!Registry.is("darcula.use.native.fonts.on.linux")) {
Font font = findFont("DejaVu Sans");
if (font != null) {
for (Object key : defaults.keySet()) {
if (key instanceof String && ((String) key).endsWith(".font")) {
defaults.put(key, new FontUIResource(font.deriveFont(13f)));
}
}
}
} else if (Arrays.asList("CN", "JP", "KR", "TW")
.contains(Locale.getDefault().getCountry())) {
for (Object key : defaults.keySet()) {
if (key instanceof String && ((String) key).endsWith(".font")) {
final Font font = defaults.getFont(key);
if (font != null) {
defaults.put(key, new FontUIResource("Dialog", font.getStyle(), font.getSize()));
}
}
}
}
}
LafManagerImpl.initInputMapDefaults(defaults);
initIdeaDefaults(defaults);
patchStyledEditorKit(defaults);
patchComboBox(metalDefaults, defaults);
defaults.remove("Spinner.arrowButtonBorder");
defaults.put("Spinner.arrowButtonSize", JBUI.size(16, 5).asUIResource());
MetalLookAndFeel.setCurrentTheme(createMetalTheme());
if (SystemInfo.isWindows && Registry.is("ide.win.frame.decoration")) {
JFrame.setDefaultLookAndFeelDecorated(true);
JDialog.setDefaultLookAndFeelDecorated(true);
}
if (SystemInfo.isLinux && JBUI.isHiDPI()) {
applySystemFonts(defaults);
}
defaults.put("EditorPane.font", defaults.getFont("TextField.font"));
return defaults;
} catch (Exception e) {
log(e);
}
return super.getDefaults();
}
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;
}
/**
* Update the font in the default style of the document.
*
* @param font the new font to use or null to remove the font attribute from the document's style
*/
private void updateFont(Font font) {
StyledDocument doc = (StyledDocument) getComponent().getDocument();
Style style = doc.getStyle(StyleContext.DEFAULT_STYLE);
if (style == null) {
return;
}
if (font == null) {
style.removeAttribute(StyleConstants.FontFamily);
style.removeAttribute(StyleConstants.FontSize);
style.removeAttribute(StyleConstants.Bold);
style.removeAttribute(StyleConstants.Italic);
} else {
StyleConstants.setFontFamily(style, font.getName());
StyleConstants.setFontSize(style, font.getSize());
StyleConstants.setBold(style, font.isBold());
StyleConstants.setItalic(style, font.isItalic());
}
}
public void setEditMode(boolean s) {
if (s) {
addMouseListener(ml);
setOpaque(s);
if (font != null) {
setFont(font);
fontH = font.getSize();
rHeight = fontH;
}
defDim = getPreferredSize();
curLoc.x = defLoc.x;
curLoc.y = defLoc.y;
curDim.width = defDim.width;
curDim.height = defDim.height;
xRatio = 1.0;
yRatio = 1.0;
} else {
removeMouseListener(ml);
if ((bg != null) || (isActive < 1)) setOpaque(true);
else setOpaque(false);
}
inEditMode = s;
}