Suggestion : Stop current search

[adrien . rebollo]

Hello,
I launched a search for an inexistent word at the beginning of the User Guide,
of course it took a while and I found no possibility to cancel the search.
Maybe it could be a useful new feature.

Adrien Rebollo

--