06-23-2022 02:02 AM - edited 06-23-2022 02:03 AM
I have an html page with
<DT>-c, -crc32
</DT>
and searching for "-c" + "Whole words" option does not find anything, but it somehow works searching for "-crc32"!
06-23-2022 08:54 AM
Strange. There seems to be a problem with finding the minus sign in the first position of the text node, with Whole Words selected. You might need to file a bug report:
See also: https://bugzilla.mozilla.org/page.cgi?id=bug-writing.html