-
Grégoire Lecerf
Joris van der Hoeven
Joris van der Hoeven
mailing-list for TeXmacs Users
Text archives Help
From : Slava Rychkov <address@hidden>- To: address@hidden
- Subject: show labels?
- Date: Fri, 10 Jul 2020 15:32:44 +0200
In one of my texmacs documents, by pure chance I now see labels shown as blue flags, as in the attached image.
This is supercool. This happened for me by chance, and I’d like to know which option controls this behavior?
Thanks, Slava Rychkov
- show labels?, Slava Rychkov, 07/10/2020
- Re: show labels?, Massimiliano Gubinelli, 07/10/2020
Archive powered by MHonArc 2.6.19.
