Re: isearch patch to work with repeat_search()

[Stephen Pinker <stephenpinker@xxxxxxxxxx>]

Ummm, I'm very new to the list here, so please correct me if I'm wrong. 
You are able to repeat a search by pressing ^s twice. Is that what you 
are asking?

G. Milde wrote:
> 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

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