Subject: mailing-list for TeXmacs Users
List archive
From : Pierre-Henri Jondot <address@hidden>- To: pireddag <address@hidden>
- Cc: TeXmacs <address@hidden>, address@hidden
- Subject: Re: Foldable proofs
- Date: Sun, 30 May 2021 18:08:35 +0200
Le 30 mai 2021 à 16:56, pireddag <address@hidden> a écrit :=======>
> The recommended way for this is to use
>
> Insert -> Fold -> Folded -> Environment
>
> In the "always visible" branch, you put the theorem itself.
> In the "unfolded branch", you put the proof.
> You may click on the circle in the margin to fold/unfold.
> You might prefer to send the "margins on screen" to '10mm' instead of '5mm'.
Great ! It is almost perfect… I just need to find out where I can fold and unfold every foldable environment in one click/command, as there might be quite a few dozens of those for each chapter, so that I can easily generate the document to be printed (without the proofs) and the one to be put online (with the proofs).======My instinct for this is to do it with a program. I do not have the possibility to experiment today, but here is what I would do:1) Figure out what the circle in the margin does. Perhaps one way is to look for the definition of the Folded Environment, either the definition of the circle or a reference to it may be there2) Apply the same action to all Folded Environments in the buffer using the Scheme map function. I forgot how to select all instances of a given tag as well :-) but it should be possible to find it out via some example3) Assign the whole procedure to a menu itemI'm aware I wrote abstract things :-) I might be able to write a detailed version in a few days---I first need to experiment. Maybe someone else will be quicker.Giovanni
Thanks to all for the suggestions.
This one seems quite promising. I am watching the last jolly coders video, maybe it will bring me some insight to achieve this with some scheme programming.
Regards,
Pierre-Henri
- Foldable proofs, Pierre-Henri Jondot, 05/30/2021
- Re: Foldable proofs, TeXmacs, 05/30/2021
- Re: Foldable proofs, Pierre-Henri Jondot, 05/30/2021
- Re: Foldable proofs, Basile Audoly, 05/30/2021
- Re: Foldable proofs, Pierre-Henri Jondot, 05/30/2021
- <Possible follow-up(s)>
- Re: Foldable proofs, pireddag, 05/30/2021
- Re: Foldable proofs, Pierre-Henri Jondot, 05/30/2021
- Re: Foldable proofs, TeXmacs, 05/30/2021
- Re: Foldable proofs, Pierre-Henri Jondot, 05/30/2021
- Re: Foldable proofs, TeXmacs, 05/30/2021
- Re: Foldable proofs, Pierre-Henri Jondot, 05/30/2021
- Re: Foldable proofs, TeXmacs, 05/30/2021
- Re: Foldable proofs, Pierre-Henri Jondot, 05/30/2021
- Re: Foldable proofs, TeXmacs, 05/30/2021
- Re: Foldable proofs, pireddag, 05/30/2021
- Re: Foldable proofs, TeXmacs, 05/30/2021
Archive powered by MHonArc 2.6.19.