Re: Search And Replace Regex History

James <[email protected]> Mon, 23 Dec 2024 08:11:56 +0200
Newsgroups gmane.editors.jedit.user
Message-ID <CAB9o2JqZZr1SN=ze2U-iqFe+zwKJW_ahphz2x6zSf3X07CWwAA@mail.gmail.com>
--===============1096445863586382396==
Content-Type: multipart/alternative; boundary="00000000000047cbbc0629e9e0fe"

--00000000000047cbbc0629e9e0fe
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Hi

It does, you can cycle through them by pressing the page up/page down
buttons. I don't think those are custom shortcuts for me.

thanks

On Mon, Dec 23, 2024 at 4:43=E2=80=AFAM Jorge Garcia de Alba <
[email protected]> wrote:

> Good day!
>
> It would be nice if jEdit kept a history of regex used at "Search and
> Replace".
>
> Jorge "JR"
>
>
> --
> -----------------------------------------------
> jEdit Users' List
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/jedit-users
>

--00000000000047cbbc0629e9e0fe
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div class=3D"gmail_default" style=3D"font-family:trebuche=
t ms,sans-serif;color:#660000">Hi</div><div class=3D"gmail_default" style=
=3D"font-family:trebuchet ms,sans-serif;color:#660000"><br></div><div class=
=3D"gmail_default" style=3D"font-family:trebuchet ms,sans-serif;color:#6600=
00">It does, you can cycle through them by pressing the page up/page down b=
uttons. I don&#39;t think those are custom shortcuts for me.</div><div clas=
s=3D"gmail_default" style=3D"font-family:trebuchet ms,sans-serif;color:#660=
000"><br></div><div class=3D"gmail_default" style=3D"font-family:trebuchet =
ms,sans-serif;color:#660000">thanks<br></div></div><br><div class=3D"gmail_=
quote gmail_quote_container"><div dir=3D"ltr" class=3D"gmail_attr">On Mon, =
Dec 23, 2024 at 4:43=E2=80=AFAM Jorge Garcia de Alba &lt;<a href=3D"mailto:=
[email protected]">[email protected]</a>&gt; wrot=
e:<br></div><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0=
.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Good day!<br>
<br>
It would be nice if jEdit kept a history of regex used at &quot;Search and =
Replace&quot;.<br>
<br>
Jorge &quot;JR&quot;<br>
<br>
<br>
-- <br>
-----------------------------------------------<br>
jEdit Users&#39; List<br>
<a href=3D"mailto:[email protected]" target=3D"_blank">jEdi=
[email protected]</a><br>
<a href=3D"https://lists.sourceforge.net/lists/listinfo/jedit-users" rel=3D=
"noreferrer" target=3D"_blank">https://lists.sourceforge.net/lists/listinfo=
/jedit-users</a><br>
</blockquote></div>

--00000000000047cbbc0629e9e0fe--


--===============1096445863586382396==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline


--===============1096445863586382396==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

-- 
-----------------------------------------------
jEdit Users' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-users

--===============1096445863586382396==--