- From: Jeroen Wouters <address@hidden>
- To: Giovanni Piredda <address@hidden>, address@hidden
- Subject: Re: replacing diff by d
- Date: Tue, 14 Sep 2021 20:30:52 +0100
Hi Giovanni, Vincent,
On Tue, 2021-09-14 at 18:53 +0000, Giovanni Piredda wrote:
>
It seems to me that it would take some work to do it through the
>
TeXmacs
>
editor, as I have not been able to use the replace tool for that
>
(when
>
it is displayed in its own widget it works for me for text, when it
>
is
>
"compressed" it does not work for that either).
>
Search and replace works for me, also for this case, but it is
important to initiate the dialog when the cursor is in a math
environment. Searches started from text will only return text results.
Best,
Jeroen
>
>
On 14.09.21 17:26, vincent douce wrote:
>
> hi
>
> after importing a .tex document
>
> i have plenty of <diff> (attachment) :
>
>
>
> i would like to replace all by d tab tab
>
> is there an automatical way to do it ?
>
>
>
> Vincent
Archive powered by MHonArc 2.6.19.