@Override
  public @NotNull EditorSettings getSettings() {
    if (mySettings == null) {
      mySettings = new SettingsImpl();
    }
    return mySettings;
  }
@Override
  public @NotNull EditorSettings getSettings()