mailing-list for TeXmacs Users

[Giovanni Piredda <address@hidden>]

\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