mailing-list for TeXmacs Users

Text archives Help


Re: colors name with a space within \


Chronological Thread 
  • From: Giovanni Piredda <address@hidden>
  • To: Basile Audoly <address@hidden>
  • Cc: address@hidden
  • Subject: Re: colors name with a space within \
  • Date: Tue, 3 Aug 2021 16:22:07 +0000

I did not explain myself well.

If you type

\green

you obtain *in the editor*

<with|color|green|>

which gives the same typeset output as

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

but has a different representation in the document. Do you know how to do that?

Of course

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

answers Vincent's question.

G.

Am 03.08.2021 um 17:47 schrieb Basile Audoly:
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




Archive powered by MHonArc 2.6.19.

Top of page