Skip to content

change: Rename web labels 'Search pre-configured' to 'Search pre-selected'#14561

Merged
Siedlerchr merged 3 commits into
JabRef:mainfrom
mayank1008-tech:ui/rename-web-search-labels
Dec 11, 2025
Merged

change: Rename web labels 'Search pre-configured' to 'Search pre-selected'#14561
Siedlerchr merged 3 commits into
JabRef:mainfrom
mayank1008-tech:ui/rename-web-search-labels

Conversation

@mayank1008-tech

@mayank1008-tech mayank1008-tech commented Dec 9, 2025

Copy link
Copy Markdown
Contributor

Renamed the UI label "Search pre-configured" to "Search pre-selected" and "Web search fetchers" to "Pre-selected fetchers"

Closes #14557

Steps to test

  1. Open JabRef.
  2. Open the Web Search side panel (View -> Web search).
  3. Verify that the dropdown menu now reads "Search pre-selected".
  4. Go to Options -> Preferences -> Web search.
  5. Verify that the section header now reads "Pre-selected fetchers".
image

Mandatory checks

  • I own the copyright of the code submitted and I license it under the MIT license
  • I manually tested my changes in running JabRef (always required)
  • [/] I added JUnit tests for changes (if applicable)
  • I added screenshots in the PR description (if change is visible to the user)
  • I described the change in CHANGELOG.md in a way that is understandable for the average user (if change is visible to the user)
  • [/] I checked the user 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 updating file(s) in https://github.com/JabRef/user-documentation/tree/main/en.

…Web search fetchers' to 'Pre-selected fetchers'
@github-actions github-actions Bot added the status: changes-required Pull requests that are not yet complete label Dec 9, 2025
@Siedlerchr

Copy link
Copy Markdown
Member

@mayank1008-tech

Copy link
Copy Markdown
Contributor Author

@Siedlerchr I updated localization and the Unit test - jablib also passed in my local machine.

@github-actions github-actions Bot removed the status: changes-required Pull requests that are not yet complete label Dec 10, 2025
@Siedlerchr Siedlerchr added the status: ready-for-review Pull Requests that are ready to be reviewed by the maintainers label Dec 10, 2025
@Siedlerchr

Siedlerchr commented Dec 10, 2025

Copy link
Copy Markdown
Member

Please add a changelog entry under the "Changed" section, something like "We renamed ... to ... "

@mayank1008-tech

Copy link
Copy Markdown
Contributor Author

@Siedlerchr I added the changes in CHANGELOG.md and also updated the checkbox in PR.

@Siedlerchr Siedlerchr enabled auto-merge December 11, 2025 08:02
@Siedlerchr Siedlerchr added this pull request to the merge queue Dec 11, 2025
Merged via the queue into JabRef:main with commit 315fb42 Dec 11, 2025
58 checks passed
@github-actions github-actions Bot mentioned this pull request Dec 11, 2025
@mayank1008-tech mayank1008-tech deleted the ui/rename-web-search-labels branch December 11, 2025 08:46
shubhamk0205 pushed a commit to shubhamk0205/jabref that referenced this pull request Dec 11, 2025
…cted' (JabRef#14561)

* change: Rename 'Search pre-configured' to 'Search pre-selected' and  'Web search fetchers' to 'Pre-selected fetchers'

* fix: Update localization keys and unit tests

* docs: Update CHANGELOG for UI label renames
Siva-Sai22 pushed a commit to Siva-Sai22/jabref that referenced this pull request Dec 19, 2025
…cted' (JabRef#14561)

* change: Rename 'Search pre-configured' to 'Search pre-selected' and  'Web search fetchers' to 'Pre-selected fetchers'

* fix: Update localization keys and unit tests

* docs: Update CHANGELOG for UI label renames
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.

Rename labels

2 participants