Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Revive option to switch between tab-specific and global search #6045

Closed
ytzemih opened this issue Feb 28, 2020 · 1 comment
Closed

Revive option to switch between tab-specific and global search #6045

ytzemih opened this issue Feb 28, 2020 · 1 comment

Comments

@ytzemih
Copy link

ytzemih commented Feb 28, 2020

Is your suggestion for improvement related to a problem? Please describe.
In JR3/4, I was able to enter a search term and change between tabs and browse the different search results (that were carried through simultaneously for each file after hitting Enter).
I am severely missing this option in JR5. At least, I was unable to find it.
(Using JabRef 5.0-pull-5945-merge.440--2020-02-19--fcaeef1)

Describe the solution you'd like
I don't know whether the tab-specific search is a feature or a bug.
However, I suggest to have an option in the setting that allows one to switch between

  1. tab-specific search (the search field content is changed simultaneously with the tab change) and
  2. global search (the search field content is applied to all open tabs like in JR3/4)

Thanks.

@Siedlerchr
Copy link
Member

Duplicate of #4096

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

No branches or pull requests

2 participants