isearch patch to work with repeat_search()

["G. Milde" <g.milde@xxxxxx>]

Dear John, dear Jed Users,

Quite regularely I want to repeat a search done with isearch. Therefore I
propose a small patch to the new wrapping isearch.sl that propagates the
search pattern to the LAST_SEARCH variable.

--- /home/milde/.jed/lib/isearch-standard.sl	2004-12-17 09:48:34.000000000 +0100
+++ /home/milde/.jed/lib/isearch.sl	2004-12-17 09:54:37.000000000 +0100
@@ -310,6 +310,8 @@
      Isearch_Last_Search = str;
    if (dir > 0)
      go_right (strlen (str) - len);
+   % save search string to LAST_SEARCH,(enabling repeat_search() of isearch)
+   save_search_string(str);   
    message ("Done.");
 }
 

If this would break the expected default behaviour, it could be included 
with, say, custom_variable("Isearch_Set_LAST_SEARC", 0)

Sincerely

Günter

-- 
G.Milde web.de

--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.