Thank you. That sounds like just the ticket.
Is your update a standard part of 2.24.3, or do I have to download an
extra file or two?
On 03/07/2024 13:47, Valentin Petzel wrote:
Also for Lyrics you can then do
\score {
\new Lyrics \with {
\override LyricText.before-line-breaking =
#(lambda (grob)
(ly:grob-set-property! grob 'text (htmldecode (ly:grob-property grob
'text))))
} \lyricmode {
Thìs ïs â téşt
}
}
Cheers,
Valentin
Am Mittwoch, 3. Juli 2024, 14:31:28 MESZ schrieb Valentin Petzel:
Hello,
I’ve taken some time to create a function for decoding html-style entities.
So instead of entering
\markup { á è ç â ... }
you can do
\markup\htmldecode { á è ç â ... }
or
\markup\htmldecode { "á" "è" "ç" "â" ... }
or
\markup\htmldecode { &:xE1; &:xE8; &:xE7; &:xE2; ... }
(I’ve added the option of using a : to specify unicode number as the default
# has a special meaning in Lilypond and will thus require quotes.)
The file is quite large because it contains a mapping of entity-strings to
unicode entities. But simply include the file and use \htmldecode where ever
you need.
Cheers,
Valentin
Am Mittwoch, 3. Juli 2024, 11:14:52 MESZ schrieb Jean Abou Samra:
Le mercredi 03 juillet 2024 à 08:26 +0100, Raphael Mankin a écrit :
Thank you. The obvious is what generally escapes one. But character
picking is a PITA. I shall have to add a French keyboard to my layouts.
AZERTY :-(
Have you tried a Compose key?
At least under a GNOME Linux desktop, this is very easy to enable:
open Settings app, select the "Keyboard" tab and click "Compose key"
(under "Special Character Entry"). You can configure a key of your
keyboard to be a "Compose key" which makes it insert various special
characters when you type this key followed by one of many predefined
sequences. For example:
Compose ' e → é
Compose ` a → à
Compose " i → ï
Compose > a → â
Compose , c → ç
This is incredibly convenient to type all sorts of unusual characters
without changing your keyboard layout (for another example, I typed
the arrows above with "Compose - >").
--
https://saturday-october-seven.com/
