Settings in Searching: suggest to separate these from autocompletion

[jhh931]

JabRef 5.0 under Windows 10.

Usability of Jabref is reduced for me by the following issue related to searching (i.e. searching for entries within the current library).

The options for using RegEx or not and searching case-sensitive or not are only available via Auto-complete:

. I don't see the logic behind that; having these available adjacent to the search bar, irrespective of using autocomplete or not, (as it used to be, see below) makes more sense to me.

[Siedlerchr]

Thanks to @calixtus this should be fixed now in the latest master

We would like to ask you to use a development build from https://builds.jabref.org/master and report back if it works for you. Please remember to make a backup of your library before trying-out this version.

[jhh931]

I am now testing the Portable version of:

• JabRef 5.1--2020-07-13--6344401
• Windows 10 10.0 amd64
• Java 14.0.1

The GUI elements I would expect based on Rework search bar #6682 are not visible for me.

Please let me know if I can do additional tests.

[Siedlerchr]

@jhh931 Please install the latest version (18.07)

[calixtus]

The buttons should be visible if you click on the search bar in the most recent development version.

Remember to always backup your data before using a development version.

[jhh931]

Check: in V 18.07, the buttons appear when clicking on the search bar.
So on this point we're OK.

(This version does have another issue w.r.t. files linked to my entries; should I report this?)

[Siedlerchr]

Please open a new issue for the problem with the linked files

[jhh931]

Done:
#6698