Skip to content

Change "Key bindings" to "Keyboard shortcuts"#11153

Merged
Siedlerchr merged 4 commits into
JabRef:mainfrom
jeanprbt:change-bindings-to-shortcuts
Apr 5, 2024
Merged

Change "Key bindings" to "Keyboard shortcuts"#11153
Siedlerchr merged 4 commits into
JabRef:mainfrom
jeanprbt:change-bindings-to-shortcuts

Conversation

@jeanprbt

@jeanprbt jeanprbt commented Apr 5, 2024

Copy link
Copy Markdown
Contributor

This PR updates the Preferences tab for Key bindings, renaming it to Keyboard shortcuts. It updates the tab title, the page title and the messages when changing keyboard shortcuts. This follows a request from @koppor on the Gitter channel.
This PR updates the file in resources/l10n/JabRef_en.properties to replace all occurrences of key\ bindings with keyboard\ shortcuts.

Capture d’écran 2024-04-05 à 16 35 11

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.

@koppor

koppor commented Apr 5, 2024

Copy link
Copy Markdown
Member

The "key binding" should not appear in the language file any more. If it does, you missed some string. (Or adapt the PR description)

Reason: We do not keep unused strings.

@jeanprbt

jeanprbt commented Apr 5, 2024

Copy link
Copy Markdown
Contributor Author

Sorry about that, I updated the PR description. All occurrences of "key bindings" are in fact replaced by "keyboard shortcuts".

@Siedlerchr

Copy link
Copy Markdown
Member

Changelog entry please under "changed" section

Comment thread CHANGELOG.md Outdated
@Siedlerchr Siedlerchr enabled auto-merge April 5, 2024 20:21
@Siedlerchr Siedlerchr added this pull request to the merge queue Apr 5, 2024
Merged via the queue into JabRef:main with commit 74c8917 Apr 5, 2024
@jeanprbt jeanprbt deleted the change-bindings-to-shortcuts branch April 5, 2024 21:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants