mailing-list for TeXmacs Users

[Basile Audoly <address@hidden>]

I am not sure if I understand correctly: does that answer your question?

(assign "darkgreen" (macro "body" (with "color" "dark green" (arg "body"))))

please use Copy from… TeXmacs scheme

Basile

Le 3 août 2021 à 17:27, Giovanni Piredda <address@hidden> a écrit :

\darkgreen does not have the editor support that \green has, i.e. you can use darkgreen as a value of the color environment variable, but you can't type \darkgreen and obtain <with|color|darkgreen|>

Do you know how to activate \darkgreen in this sense?

G.

Am 03.08.2021 um 17:20 schrieb Nicolas:

Hello,
I think that darkgreen is working. In the source code of a texmacs file, both "dark green" and "darkgreen" is understood.
Nicolas

Le 3 août 2021 17:01:07 GMT+02:00, vincent douce <address@hidden> a écrit :

hi
when i type \red i get my text in red, very useful for me instead of pointing the mouse amongs menus
but when i type \green i get a very lighty green
i prefer dark green
problem : \ doesn't seem to accept spaces
so if i type \dark green i dont get the result
i am obliged to type \green then writing in lighty green then clicking in a field to type "dark" before "green"
do you know a shortcut to write in colors whose name have a space ?
Vincent