View Revisions: Issue #2339
[ Back to Issue ]
Summary | 0002339: F4 search can ignore case sensitivity settings | ||
---|---|---|---|
Revision | 2015-08-02 12:20 by Harriet Bazley | ||
Description | When searching the text of a web page, selecting the 'case sensitive' option often seems to have no effect. RISC OS 5.21 on ARMini |
||
Revision | 2015-08-24 14:11 by Vincent Sanders | ||
Description | When searching the text of a web page, selecting the 'case sensitive' option often seems to have no effect. RISC OS 5.21 on ARMini |
||
Revision | 2015-08-02 12:20 by Harriet Bazley | ||
Steps To Reproduce | This doesn't always seem to happen. An example that I managed to use to trigger it was to visit https://en.wikipedia.org/wiki/Primogeniture, press F4 and type 'Fr' into the 'Find text' dialogue box. The first string found is the 'Fr' in "From Wikipedia, the free encyclopedia". If I now select the 'Case sensitive' radio icon, the selected text jumps to the 'fr' in "free encyclopedia", which is clearly incorrect (this does not match 'Fr' in a case-sensitive match), and clicking on the 'Next' button then takes us to matches in "the free dictionary", "the higher nobility and free families alike" and many more before reaching the first true match in "France" (which is what I was looking for). |
||
Revision | 2015-08-24 14:11 by Vincent Sanders | ||
Steps To Reproduce | This doesn't always seem to happen. An example that I managed to use to trigger it was to visit https://en.wikipedia.org/wiki/Primogeniture, press F4 and type 'Fr' into the 'Find text' dialogue box. The first string found is the 'Fr' in "From Wikipedia, the free encyclopedia". If I now select the 'Case sensitive' radio icon, the selected text jumps to the 'fr' in "free encyclopedia", which is clearly incorrect (this does not match 'Fr' in a case-sensitive match), and clicking on the 'Next' button then takes us to matches in "the free dictionary", "the higher nobility and free families alike" and many more before reaching the first true match in "France" (which is what I was looking for). |
||
Revision | 2015-08-02 12:20 by Harriet Bazley | ||
Additional Information | If I select the 'Case sensitive' radio icon before typing any search string rather than as a subsequent modification to the search, I seem to get the expected results (in this test case at any rate). This bug has been around through many versions - I first noticed it a long time ago but have only just pursued it to source. |
||
Revision | 2015-08-24 14:11 by Vincent Sanders | ||
Additional Information | If I select the 'Case sensitive' radio icon before typing any search string rather than as a subsequent modification to the search, I seem to get the expected results (in this test case at any rate). This bug has been around through many versions - I first noticed it a long time ago but have only just pursued it to source. |
||
Revision | 2015-11-04 22:20 by Dave Higton | ||
Description | When searching the text of a web page, selecting the 'case sensitive' option often seems to have no effect. RISC OS 5.21 on ARMini |
||
Revision | 2015-11-04 22:20 by Dave Higton | ||
Steps To Reproduce | This doesn't always seem to happen. An example that I managed to use to trigger it was to visit https://en.wikipedia.org/wiki/Primogeniture, press F4 and type 'Fr' into the 'Find text' dialogue box. The first string found is the 'Fr' in "From Wikipedia, the free encyclopedia". If I now select the 'Case sensitive' radio icon, the selected text jumps to the 'fr' in "free encyclopedia", which is clearly incorrect (this does not match 'Fr' in a case-sensitive match), and clicking on the 'Next' button then takes us to matches in "the free dictionary", "the higher nobility and free families alike" and many more before reaching the first true match in "France" (which is what I was looking for). |
||
Revision | 2015-11-04 22:20 by Dave Higton | ||
Additional Information | If I select the 'Case sensitive' radio icon before typing any search string rather than as a subsequent modification to the search, I seem to get the expected results (in this test case at any rate). This bug has been around through many versions - I first noticed it a long time ago but have only just pursued it to source. |
||
Revision | 2016-02-16 14:12 by Vincent Sanders | ||
Description | When searching the text of a web page, selecting the 'case sensitive' option often seems to have no effect. RISC OS 5.21 on ARMini |
||
Revision | 2016-02-16 14:12 by Vincent Sanders | ||
Steps To Reproduce | This doesn't always seem to happen. An example that I managed to use to trigger it was to visit https://en.wikipedia.org/wiki/Primogeniture, press F4 and type 'Fr' into the 'Find text' dialogue box. The first string found is the 'Fr' in "From Wikipedia, the free encyclopedia". If I now select the 'Case sensitive' radio icon, the selected text jumps to the 'fr' in "free encyclopedia", which is clearly incorrect (this does not match 'Fr' in a case-sensitive match), and clicking on the 'Next' button then takes us to matches in "the free dictionary", "the higher nobility and free families alike" and many more before reaching the first true match in "France" (which is what I was looking for). |
||
Revision | 2016-02-16 14:12 by Vincent Sanders | ||
Additional Information | If I select the 'Case sensitive' radio icon before typing any search string rather than as a subsequent modification to the search, I seem to get the expected results (in this test case at any rate). This bug has been around through many versions - I first noticed it a long time ago but have only just pursued it to source. |