Preferences: An introduction

[mlep]

Timid attempt to solve issue #252.

Some more should be added, but I lack of an understanding of the way the options are structured.
Why some options are directly under Options while others are under Options --> Preferences?

Do not hesitate to step in and alter the text.

(I will had a screenshot when I will find out how to add a file)

[calixtus]

Hi @mlep
you're absolutely right. Nobody understands why some parts of the preferences are in options-preferences and some are not.
It's possibly because the seperate dialogs are some historical relics and nobody yet had the time to fix that.
I'm currently working on the preferences (beware that there are some changes incoming) and my plan is to include all the seperate dialogs in one grup-d (great unified preferences dialog). ;-)
Greetings from JabCon2020!

[tobiasdiez]

I agree, the "Options" menu should be removed - and when it's done we can adapt the documentation again.

[mlep]

@calixtus The historical reason was my supposition. Thank you for working on the preferences. It is currently very hard to find what you are looking for when you want to change some configuration!

Jabref configuration is so extensive, I am wondering if grup-d will come with a search feature. 😉

Happy JabCon2020!