Re: [ jEdit-users ] Search And Replace Regex History

[Jorge G. de A. <jor...@gm...>]

Good day!

I just tried it and it works like a charm. I appreciate your assistance.

Jorge "JR"

On Mon, Dec 23, 2024 at 12:12 AM James <gen...@gm...> wrote:
>
> 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 AM Jorge Garcia de Alba <jor...@gm...> wrote:
>>
>> Good day!
>>
>> It would be nice if jEdit kept a history of regex used at "Search and Replace".
>>
>> Jorge "JR"
>>
>>
>> --
>> -----------------------------------------------
>> jEdit Users' List
>> jEd...@li...
>> https://lists.sourceforge.net/lists/listinfo/jedit-users