Chronological Thread 

< Chronological >      < Thread >

---

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).

To go around this, I would open the TeXmacs document in a text editor, see how <diff> and d tab tab are represented there and use the replace facility of the text editor to do the replacement.

I do not know if there are downsides; JvdH recommends not to edit a TeXmacs file in a text editor: see e.g. http://www.texmacs.org/tmdoc/devel/format/language/syntax.en.html: "On the other hand, TeXmacs syntax makes style files difficult to read and is not designed to be hand-edited: whitespace has complex semantics and some internal structures are not obviously presented. Do not edit documents in the TeXmacs syntax unless you really know what you are doing."

But I tried it and it worked, you may try it too.

Giovanni

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

---

• replacing diff by d, vincent douce, 09/14/2021
  • Re: replacing diff by d, Giovanni Piredda, 09/14/2021
    • Re: replacing diff by d, Jeroen Wouters, 09/14/2021
      • Re: replacing diff by d, Giovanni Piredda, 09/14/2021

---

Archive powered by MHonArc 2.6.19.