mailing-list for TeXmacs Users

Text archives Help


Re: How to edit the "Hanging theorems" option ?


Chronological Thread 
  • From: Nicolas Chouvalidzé <address@hidden>
  • To: TeXmacs <address@hidden>
  • Cc: texmacs-users <address@hidden>
  • Subject: Re: How to edit the "Hanging theorems" option ?
  • Date: Tue, 11 Aug 2020 18:13:21 +0200

Hello Joris,

Thank you very much for your answer.
I tried back in April what you suggested, which resolved my problem ! Unfortunately there was a side effect from the modification of the "enunciation" to "theorem". All theorem-like environments have turned non-italic and non-bold (see screen capture) :
SharedScreenshot 1-min (1).jpg

I was caught up with work from prépa back then (which explains my late response...) so I kind of abandoned, but I figure that maybe we could try and correct this.

Here is how I modified the 'hanging-theorems.ts' file :
SharedScreenshot 2-min.jpg

Do you have any idea how we could bring back the italic style in theorem environments, and their bold title ?

Thank you very much for your time,
Nicolas Chouvalidzé.


Le jeu. 26 mars 2020 à 01:53, TeXmacs <address@hidden> a écrit :
Hi Nicolas,

This is a bit tricky for general users, but here is what you may do:

  - Copy the hanging-theorems.ts package to ~/.TeXmacs/packages
    so that you can modify this standard style package.

  - Change each occurrence of 'enunciation' in this file to 'theorem'.
    E.g., 'render-enunciation' should become 'render-theorem'.

Best wishes, --Joris


On Sun, Mar 22, 2020 at 10:17:16AM +0100, Nicolas Chouvalidzé wrote:
> Dear users,
> I recently discovered the "Hanging theorems" option.
> [image: Capture 1 (Henging theorems option)-min (1).jpg]
>
> But, when I select it, it applies to theorems and definitions, but also to
> proofs, remarks and examples :
> [image: Capture 2-min (1).jpg]
>
> *My question is :* I would like this option only to affect theorem-like
> environments (theorems, propositions, definitions...), and not the rest of
> the environments.
> How is it possible to edit the style file in this way ?
>
> I already checked the button "Edit source code", but the options for the
> remark-like environments are vers limited, and I can't seem to find the
> parameter to modify... Maybe I did not find the right style file to edit.
>
> Thank you very much for your help !



JPEG image

JPEG image




Archive powered by MHonArc 2.6.19.

Top of page