2024-04-24 04:36 BST

View Revisions: Issue #2339

Summary 0002339: F4 search can ignore case sensitivity settings
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 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-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
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