@NotNull
  public static Font getEditorFont() {
    return EditorFontType.getGlobalPlainFont().deriveFont(UISettingsUtils.getInstance().getScaledEditorFontSize());
  }
@NotNull
  public static Font getEditorFont()