texmacs-users - Re: [TeXmacs] Is there a way to change the focus box color?

Subject: mailing-list for TeXmacs Users

List archive

Re: [TeXmacs] Is there a way to change the focus box color?

From: Massimiliano Gubinelli <address@hidden>
To: Amir Michail <address@hidden>
Cc: texmacs-users <address@hidden>
Subject: Re: [TeXmacs] Is there a way to change the focus box color?
Date: Tue, 21 May 2019 18:59:10 +0200

No, as far as I know the color is hardcoded. The precise location is in

src/Edit/Interface/edit_repaint.cpp

in particular in the function

edit_interface_rep::draw_env (renderer ren)

In full screen mode all the rectangles are not painted, maybe you could add
some customisation to make the behaviour depends on a
programmable preference.

Best
Massimiliano

> On 20. May 2019, at 14:59, Amir Michail <address@hidden> wrote:
>
> Hello,
>
> For “dark mode” document colors, cyan for the focus box is too bright. Is
> there a way to change its color?
>
> Also, it would be nice to hide the focus box altogether when you don’t need
> it.
>
> Amir
>

[TeXmacs] Is there a way to change the focus box color?, Amir Michail, 05/20/2019
- Re: [TeXmacs] Is there a way to change the focus box color?, Massimiliano Gubinelli, 05/21/2019

List archive

Re: [TeXmacs] Is there a way to change the focus box color?