Subject: mailing-list for TeXmacs Users
List archive
From : Pierre-Henri Jondot <address@hidden>- To: TeXmacs <address@hidden>
- Cc: address@hidden
- Subject: Re: Foldable proofs
- Date: Sun, 30 May 2021 20:34:29 +0200
> Le 30 mai 2021 à 20:03, TeXmacs <address@hidden> a écrit :
>
> Hi Pierre-Henri,
>
> You do not need to be in the beamer style.
> The presentation shortcuts F9, F10, F11, and F12 work in any style.
> It indeed makes sense, sometimes, to "present" more general types of
> documents.
> You just don't have the corresponding icons in the user interface.
>
> Best wishes, --Joris
Even better, thanks !
Regards,
Pierre-Henri
>
>
>
> On Sun, May 30, 2021 at 06:43:23PM +0200, Pierre-Henri Jondot wrote:
>> 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
>>
- 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.