Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add button for a user to reset the cite command to the default value. #10580

Merged
merged 3 commits into from
Oct 26, 2023

Commits on Oct 25, 2023

  1. Add button for a user to reset the cite command to the default value.

    Add button in ExternalTab.fxml and link it to a method in ExternalTabViewModel.java that sets the citeCommandProperty to the specified default value
    Update CHANGELOG.md
    Jonathan Rech committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    e65a203 View commit details
    Browse the repository at this point in the history
  2. Fix the requested changes.

    Delete redundant comment.
    Encapsulate getDefaultCiteCommand in ExternalApplicationsPreferences and update JabRefPreferences accordingly
    Jonathan Rech committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    656f566 View commit details
    Browse the repository at this point in the history

Commits on Oct 26, 2023

  1. Merge remote-tracking branch 'upstream/Main' into fix-for-issue-10569

    * upstream/Main:
      openrerwrite
      Update .github/PULL_REQUEST_TEMPLATE.md
      Update PULL_REQUEST_TEMPLATE.md
      Update .github/PULL_REQUEST_TEMPLATE.md
      Update PULL_REQUEST_TEMPLATE.md
      Replace "fixes" by "resolves"
      Change JavaDoc to annotation (JabRef#10571)
      Fix link (JabRef#10575)
      Enable collecting GitHub build artifacts for forks (JabRef#10574)
      Fix file field merging (JabRef#10573)
      Update .gitignore
    Siedlerchr committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    1006f22 View commit details
    Browse the repository at this point in the history