@Override
  public boolean equals(Object obj) {
    if (obj == this) {
      return true;
    }
    if (!(obj instanceof Options otherOptions)) {
      return false;
    }
    EditorOptions editorOptions = otherOptions.getEditorOptions();
    ExternalEditorOptions externalEditorOptions = otherOptions.getExternalEditorOptions();
    return editorOptions.equals(getEditorOptions()) && externalEditorOptions.equals(getExternalEditorOptions());
  }
@Override
  public boolean equals(Object obj)