mailing-list for TeXmacs Users

[Frank <address@hidden>]

Hi all,

For this case, you can also do this by code: input \with, then Meta + "->", then you 
"color" and "gray" and your text.

Seemingly it might be better to let the UI work in these cases, like 
inputting stylesheet texts in headers, search dialog and customization of 
source codes of macros.

I imagine that this could be organized in the following way: we can formulate a mode 
called "stylesheet texts input". For such mode, it is always possible to 
enable the UI (such as the focus bar and the status bar to show the structure). In 
particular, the main window would be the largest stylesheet text.

Best wishes,
Frank

On 12/8/20, Massimiliano Gubinelli wrote:
> Try to prepare what you want in the header in a regular document, including 
> e.g. colors or frames, and then copy it in the header.
> Does not work?
>
> Max
>
>
> > On 8. Dec 2020, at 00:23, Vincent Douce Mathoscope <address@hidden> wrote:
> >
> > hi i always put "made with texmacs etc..." in the headers of my docs
> > but i would like it to be in a different color (gray)
> > i dont find how to change the color of the font of anything written in the 
> > headers
> > Vincent