mailing-list for TeXmacs Users

[TeXmacs <address@hidden>]

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