mailing-list for TeXmacs Users

[pireddag <address@hidden>]

Even if the the actions of "fold/unfold all" are only available in the bearer style, it might yet be possible to assign them to a shortcut or to a menu item valid for the style you want to use or every style.

I would first check the definitions, which then you might paste into a shortcut definition in your initialization file. 

G.

Von meinem Samsung Galaxy Smartphone gesendet.

-------- Ursprüngliche Nachricht --------

Von: Pierre-Henri Jondot <address@hidden>

Datum: 30.05.21 18:43 (GMT+01:00)

An: Basile Audoly <address@hidden>

Cc: address@hidden

Betreff: Re: Foldable proofs

Hi Joris and Basile,

While it feels weird to change style to beamer, and back again to course or whatever style I am using, it does indeed do the trick.

As it is not something I will do that often, it is a good solution.

Thanks,

Pierre-Henri

Le 30 mai 2021 à 18:36, TeXmacs <address@hidden> a écrit :

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