No direct way to search entire manual

WinMerge / winmerge

WinMerge is an Open Source differencing and merging tool for Windows. WinMerge can compare both folders and files, presenting differences in a visual text format that is easy to understand and handle.

https://winmerge.org/

GNU General Public License v2.0

6.55k stars 801 forks source link

No direct way to search entire manual #2071

Open Chealer opened 1 year ago

Chealer commented 1 year ago

WinMerge provides a relatively complete manual, with over 10 chapters. Unfortunately, there appears to be no way to search all of these directly, since there is no document which contains them all, nor any search function offered by the manual's website. I did realize while reporting this issue that the manual contains an index, but one has no idea how up-to-date/complete it is, so it is not possible to exclude that one missed a reference to a topic in the manual just using the index (and I must admit that I never think about using such an index when reading a digital manual).

sdottaka commented 1 year ago

There is a search function in the manual displayed by pressing the F1 key on WinMerge, so please try using that.

Chealer commented 1 year ago

Oh, sorry for missing that @sdottaka you are right, I just use built-in help so rarely that it didn't even come to mind😯 I am glad that the feature exists, thank you for pointing it out.🙏🏽 Feel free to mark this report as invalid. That being said, it may help to:

Provide a global search tool online
If not / Meanwhile, indicate in About WinMerge Help that the whole documentation can be directly searched using built-in help.

By the way, I suggest to move the index inside the WinMerge Help section.