Skip to content
New issue

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

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

Already on GitHub? # to your account

Builder for preferences (with defaults) #671

Draft
wants to merge 2 commits into
base: main
Choose a base branch
from
Draft

Builder for preferences (with defaults) #671

wants to merge 2 commits into from

Conversation

koppor
Copy link
Member

@koppor koppor commented Jan 9, 2024

Idea for other storage of preference defaults

Mandatory checks

  • Change in CHANGELOG.md described in a way that is understandable for the average user (if applicable)
  • Tests created for changes (if applicable)
  • Manually tested changed features in running JabRef (always required)
  • Screenshots added in PR description (for UI changes)
  • Checked developer's documentation: Is the information available and up to date? If not, I outlined it in this pull request.
  • Checked documentation: Is the information available and up to date? If not, I created an issue at https://github.com/JabRef/user-documentation/issues or, even better, I submitted a pull request to the documentation repository.

# Conflicts:
#	src/main/java/org/jabref/preferences/GeneralPreferences.java
#	src/main/java/org/jabref/preferences/JabRefPreferences.java
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants