Pref > Library: add link to manual > settings files info

[ronso0]

Now, the directory and related info can be accessed from one place, and most support responses regarding log files, configs, mappings, database file etc. can be boiled down to
"Open the preferences, go to the Library page and scroll to the bottom"

[daschuer]

Nice.
It is a pity, that you are not able to discover it intuitively.
Did you consider to put it on its own root element?
Other ideas? About box? I am unsure.

However this works, and this is a good start IMHO. Thank you.

[daschuer]

LGTM. What do the others think?

[ronso0]

Yeah, discoverability can be improved.
The preferences sidebar is already crammed IMO, I'd rather not add another item.
The About dialog is also not an appropriate place as it should remain compact, plus I wouldn't expect that info there.
Maybe add an item to the Help menu which opens separate dialog?

[daschuer]

Yes, that will work hopefully better. I had a look to other applications:

• Eclipse "Installation details" button in the about box
• Firefox "Help" > "Info for .."
• SmartGit "Information" Tab in the about box
• LibreOffice Exta Preferences node

So we are in good companion whatever we decide.

[ronso0]

so for now we can merge this? it's just adding the link, the rest is already there.

[Be-ing]

I think the Help menu would be a better place.

[ronso0]

To clarify:
this PR just adds the link to the manual.

Moving the entire section to another place will not happen in this PR.

Merge?

[Be-ing]

Eh, I'm not sure we should add even more text here; it's already quite wordy. I think it would be better to remove this whole section from the preferences and add a link to the Help menu.

[ronso0]

Those are currently three lines of text. Adding a link adds value now.

Moving the entire block to the Help menu and formatting the dialog is out of scope here and will happen in another PR.

[Be-ing]

Three lines of text is probably more than most users read already.

[Swiftb0y]

Please just merge this. The fact that we're already 10 messages deep into a discussion on a PR this trivial makes no sense. This is bikeshedding at its best. The work has been done and we only need to press a single button to merge this. If instead we start arguing about marginally better approaches, we'll get nowhere, this won't get merged, contributors will stop contributing.

[ronso0]

I will not merge myself if there are objections, no matter if I consider them valid or not, no matter how ridiculous small the PR.
If there's a majority to merge just do it.

[Be-ing]

I'm not sure that adding more text to a wall of text is a great idea but 🤷