Sign up for the 7-day free trial

Fixed: searches with double quotes

May 12th, 2021

Small fix for the online manuals:
When searching for phrases using double quotes, the search term did not show up correctly in the search box above the search results, showing

"my search phrase"

Instead of the correct

“my search phrase”