Issue 2339 (case sensitivity has no effect)

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?

Dave

diff --git a/riscos/search.c b/riscos/search.c
index 60b3716..f914b5c 100644
--- a/riscos/search.c
+++ b/riscos/search.c
@@ -173,6 +173,12 @@ bool ro_gui_search_click(wimp_pointer *pointer)
case ICON_SEARCH_CASE_SENSITIVE:
flags = SEARCH_FLAG_FORWARDS |
ro_gui_search_update_flags();
+ ro_gui_search_set_forward_state(true,
+ search_data.search_window);
+ ro_gui_search_set_back_state(true,
+ search_data.search_window);
+ browser_window_search_clear(
+ search_data.search_window);
browser_window_search(search_data.search_window, NULL,
flags,
ro_gui_get_icon_string(dialog_search,

____________________________________________________________
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