Subject: mailing-list for TeXmacs Users
List archive
From : Basile Audoly <address@hidden>- To: Tirifto <address@hidden>
- Cc: texmacs-users <address@hidden>
- Subject: Re: [TeXmacs] Capital letters with diacritics in titles
- Date: Thu, 18 Apr 2019 17:07:55 +0200
Hi,
thanks for reporting the bug. Could you try to be more specific on what you type, what you expect and what you get?
For me (using TeXmacs in MacOS), a given sequence of keystrokes produces always the same result, whether in small caps mode or not. For instance, 'Cmd-^ u' always produces the correct symbol û, while 'Cmd-^ h' produces ^h, no matter if I am in small capitals mode or not. That simply seems to indicate that some diacritics such as ĥ are not recognized by TeXmacs.
Basile
Le 18 avr. 2019 à 13:10, Tirifto <address@hidden> a écrit :Hello all!
I have encountered a bug which I have reported [1] a while back, but
it's still around in the newer versions, so I wanted to ask if perhaps
someone has encountered it and found a workaround (for the mean time).
The issue is that when a style (e.g. generic, tmbook…) is setting text
in small capitals (e.g. for the author's name under the title in said
styles), certain letters will be set wrong (it looks like they're
ordinary letters rather than small capitals).
I have only encountered this with some letters with diactritics, such
as ‘ĉ, ĝ, ĥ, ĵ, ŝ, ŭ’, all of which have been saved as ‘\<#CODE\>’ in
the .tm file. This can make creation of nice-looking documents in some
languages (e.g. Esperanto) more difficult.
Is there perhaps some way to force the style of small capitals
before/after the letters get messed up? Any help is appreciated!
Best of wishes
// Tirifto
-----------------------------------------------------------------------
1. https://savannah.gnu.org/bugs/?53965
- [TeXmacs] Capital letters with diacritics in titles, Tirifto, 04/18/2019
- Re: [TeXmacs] Capital letters with diacritics in titles, Basile Audoly, 04/18/2019
- Re: [TeXmacs] Capital letters with diacritics in titles, Tirifto, 04/18/2019
- Re: [TeXmacs] Capital letters with diacritics in titles, Basile Audoly, 04/19/2019
- Re: [TeXmacs] Capital letters with diacritics in titles, Massimiliano Gubinelli, 04/19/2019
- Re: [TeXmacs] Capital letters with diacritics in titles, Basile Audoly, 04/19/2019
- Re: [TeXmacs] Capital letters with diacritics in titles, Massimiliano Gubinelli, 04/19/2019
- Re: [TeXmacs] Capital letters with diacritics in titles, Basile Audoly, 04/19/2019
- Re: [TeXmacs] Capital letters with diacritics in titles, Tirifto, 04/18/2019
- Re: [TeXmacs] Capital letters with diacritics in titles, Basile Audoly, 04/18/2019
Archive powered by MHonArc 2.6.19.