Skip to content

Added keyboard shortcut for merging entries#7417

Merged
tobiasdiez merged 1 commit into
masterfrom
mergeentriespatch
Feb 2, 2021
Merged

Added keyboard shortcut for merging entries#7417
tobiasdiez merged 1 commit into
masterfrom
mergeentriespatch

Conversation

@Siedlerchr

@Siedlerchr Siedlerchr commented Feb 2, 2021

Copy link
Copy Markdown
Member

Fixes #7414

User submitted a patch

  • Change in CHANGELOG.md described (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 documentation: Is the information available and up to date? If not created an issue at https://github.com/JabRef/user-documentation/issues or, even better, submitted a pull request to the documentation repository.

@kristofmeixner @Siedlerchr
Added keyboard shortcut for merging entries
d0fed42 
Signed-off-by: Siedlerchr <siedlerkiller@gmail.com>
@Siedlerchr Siedlerchr added the status: ready-for-review Pull Requests that are ready to be reviewed by the maintainers label Feb 2, 2021
@tobiasdiez tobiasdiez merged commit bdfd8c8 into master Feb 2, 2021
@tobiasdiez tobiasdiez deleted the mergeentriespatch branch February 2, 2021 20:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

status: ready-for-review Pull Requests that are ready to be reviewed by the maintainers

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Keyboard shortcut for merging entries

3 participants

@Siedlerchr @tobiasdiez @kristofmeixner