Skip to content

Added the first option as default in group properties (specified keywords)#10276

Merged
Siedlerchr merged 2 commits into
JabRef:mainfrom
DohaRamadan:branch4
Sep 2, 2023
Merged

Added the first option as default in group properties (specified keywords)#10276
Siedlerchr merged 2 commits into
JabRef:mainfrom
DohaRamadan:branch4

Conversation

@DohaRamadan

@DohaRamadan DohaRamadan commented Sep 2, 2023

Copy link
Copy Markdown
Contributor

Added the first option (Generate groups from keywords) as a default in (specified keywords) in group properties when creating a new group.
Fixes #10269

before:

before

after:

after

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.

@Siedlerchr Siedlerchr added this pull request to the merge queue Sep 2, 2023
@Siedlerchr Siedlerchr added the status: ready-for-review Pull Requests that are ready to be reviewed by the maintainers label Sep 2, 2023
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Sep 2, 2023
@Siedlerchr Siedlerchr added this pull request to the merge queue Sep 2, 2023
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Sep 2, 2023
@Siedlerchr Siedlerchr added this pull request to the merge queue Sep 2, 2023
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Sep 2, 2023
@Siedlerchr Siedlerchr merged commit fe6b48c into JabRef:main Sep 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

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.

No option is selected in group properties (specified keywords)

2 participants