-
Grégoire Lecerf
Joris van der Hoeven
Joris van der Hoeven
mailing-list for TeXmacs Users
Text archives Help
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
Archive powered by MHonArc 2.6.19.
