Skip to content

Observable Preferences X (EntryEditorPreferences revisited)#10002

Merged
Siedlerchr merged 5 commits into
mainfrom
entry_editor_prefs
Jun 13, 2023
Merged

Observable Preferences X (EntryEditorPreferences revisited)#10002
Siedlerchr merged 5 commits into
mainfrom
entry_editor_prefs

Conversation

@calixtus

Copy link
Copy Markdown
Member

Follow-up to #10001

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.

@calixtus calixtus added status: ready-for-review Pull Requests that are ready to be reviewed by the maintainers dev: code-quality Issues related to code or architecture decisions component: preferences labels Jun 11, 2023
@Siedlerchr

Copy link
Copy Markdown
Member

When do Y and Z come? :-P

Comment thread src/main/java/org/jabref/gui/entryeditor/OtherFieldsTab.java Outdated
@JabRef JabRef deleted a comment from github-actions Bot Jun 11, 2023
@Siedlerchr Siedlerchr merged commit 955e389 into main Jun 13, 2023
@Siedlerchr Siedlerchr deleted the entry_editor_prefs branch June 13, 2023 16:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

component: preferences dev: code-quality Issues related to code or architecture decisions status: ready-for-review Pull Requests that are ready to be reviewed by the maintainers

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants