- From: TeXmacs <address@hidden>
- To: address@hidden
- Subject: Re: Foldable proofs
- Date: Sun, 30 May 2021 18:36:00 +0200
Hi Pierre-Henri,
Basile's suggestion is correct: you may use the shortcuts F9 and F12
from the beamer mode to fold / unfold everything.
Best wishes, --Joris
On Sun, May 30, 2021 at 06:08:35PM +0200, Pierre-Henri Jondot wrote:
>
>
>
> 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 <calendar:T5: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 there
>
> 2) 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 example
>
> 3) Assign the whole procedure to a menu item
>
>
>
> I'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
Archive powered by MHonArc 2.6.19.