mailing-list for TeXmacs Users

[Giovanni Piredda <address@hidden>]

Am 08.08.2021 um 18:43 schrieb vincent douce:

      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

Let me do it :-)

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

Maybe there is a way to make "comfortable" updating the translation as the text is updated. One would use a version control software on the English text, and use it to highlight the parts of the text which need an updated translation. Maybe someone already wrote a software to do this easily. Let me investigate/think. If I find things that one can use, I will write again.

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