mailing-list for TeXmacs Users

[vincent douce <address@hidden>]

hi Giovanni

thanks for your search

works very fine

i am wondering if this code should be inserted in

http://forum.texmacs.cn/t/wiki-assorted-code-snippets-to-customize-texmacs-behaviour/465

i would also propose a bit of my time to translate this page into french 

but if this page is dynamic it could be a waste of time ?

Vincent

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

(kbd-commands
  ("darkgreen" "" (make-with "color" "dark green")))

To put in my-init-texmacs,scm

I copied it from progs/texmacs/keyboard/latex-kbd.scm from Github (found it searching for "green" and looking for a file with "kbd" in its name ---that is keyboard definitions).

G.

Am 03.08.2021 um 18:22 schrieb Giovanni Piredda:

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