@Override
  public void customize(@NotNull EditorEx editor) {
    /* For the sake of simplicity and consistency, we load the global editor scheme here, although its font is not necessarily monospace.
       However, if the main editor has not monospaced font, we don't use monospace here either. */
    editor.setColorsScheme(EditorColorsManager.getInstance().getGlobalScheme());
  }
@Override
  public void customize(@NotNull EditorEx editor)