I've come up with a solution that I think may be good enough. I'd
welcome a review and any suggestions for better ways.
The result of this change is that toggling case sensitivity has an
immediate effect, although it also resets the search to the start
of the list of targets. Since the list may well have changed, I
guess that's an OK consequence.
I also have some questions:
1) Are the first two additions necessary or desirable?
2) Do other platforms have the same problem?
diff --git a/riscos/search.c b/riscos/search.c
index 60b3716..f914b5c 100644
@@ -173,6 +173,12 @@ bool ro_gui_search_click(wimp_pointer *pointer)
flags = SEARCH_FLAG_FORWARDS |
Can't remember your password? Do you need a strong and secure password?
Use Password manager! It stores your passwords & protects your account.
Check it out at http://mysecurelogon.com/password-manager
I've made a patch for the BeOS/Haiku frontend that adds the websearch
bar. Current frontend only has a URL bar. This patch is for a task of
Google Code-In 2015. Here's a screenshot of NetSurf with the patch: