mailing-list for TeXmacs Users

Text archives Help


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


Chronological Thread 
  • From: Frank <address@hidden>
  • To: Nicolas Chouvalidzé <address@hidden>
  • Cc: TeXmacs <address@hidden>,texmacs-users <address@hidden>
  • Subject: Re: How to edit the "Hanging theorems" option ?
  • Date: Thu, 13 Aug 2020 20:34:01 +0000

Hi,

I am not capable to freely customize the style. What I can do is to use the
"Remark" style instead of the "Theorem" style for definitions.

https://github.com/texmacs/texmacs/blob/master/TeXmacs/packages/environment/env-theorem.ts

Look at the line about definitions. It is specified by new-theorem. Modify it
to new-remark will give us the roman version.

So my solution is to add (new-remark ...) in the preamble to redefine the
definition environment.

But again, I think that the italicized definition environment is a bug, in
view of the existence of the dfn macro which italicizes the phrase by default.

Best,
Frank

于 August 13, 2020 6:51:33 PM UTC, "Nicolas Chouvalidzé" <address@hidden> 写到:
>Hello Frank,
>
>Would you know what to modify in order not to italicize the whole text
>of
>theorems environments ?
>
>I think it would be both interesting to know how to do it and to have
>documents with a different style.
>
>Best,
>Nicolas
>
>
>Le jeu. 13 août 2020 à 20:02, Frank <address@hidden> a écrit :
>
>> Hi all,
>>
>> I would like to add an irrelevant remark:
>>
>> It seems to me that the standard way is to italicize the terminology
>to be
>> defined, but not the whole text of a definition. In fact, there is a
>> TeXmacs macro \dfn to emphasize the terminology to be defined.
>However, in
>> the default setting, it has no visual effect because all texts of a
>> definition are italicized.
>>
>> Best,
>> Frank
>>
>> 于 August 11, 2020 4:13:21 PM UTC, "Nicolas Chouvalidzé" <
>> address@hidden> 写到:
>> >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) :
>> >[image: 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 :
>> >[image: 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 !
>> >>
>> >>
>> >>
>> >>
>>
>> --
>> 使用 K-9 Mail 发送自我的Android设备。
>>

--
使用 K-9 Mail 发送自我的Android设备。



Archive powered by MHonArc 2.6.19.

Top of page