我想从IntelliJ IDEA中的插件更改字体大小。假设我将添加一个按钮以使字体大小加倍,否则将在Appearance & Behavior > Appearance > Size
下进行配置。
对于此插件,我正在使用自定义操作,如IntelliJ documentation中所述。
我可以/应该使用哪个API来更改IDE的字体大小?
UISettings settingsManager = UISettings.getInstance();
UISettingsState settings = settingsManager.getState();
settingsManager.setFontSize(settingsManager.getFontSize() + 1);
if (!settings.getOverrideLafFonts()) {
settings.setOverrideLafFonts(true);
}
LafManager.getInstance().updateUI();