On Tue, Jun 11, 2024 at 02:19:56PM +, Stef Pillaert wrote:
> Can I change this background color to something different, so the difference
> with the other tabs is clearer? I tried to change some colors in the
> preference dialog->Look and feel->colors, but didn't find the correct color
> set
ctive one.
Stef
Van: Bernt Lie
Verzonden: dinsdag 11 juni 2024 16:22
Aan: Stef Pillaert ; lyx-users
Onderwerp: RE: colours of the docuement tabs
Maybe I’ve got old eyes, too… A dark blue (marine?) color would fit nice with
the grey menue.
From: lyx-users On Behalf Of Stef Pillaer
Maybe I’ve got old eyes, too… A dark blue (marine?) color would fit nice with
the grey menue.
From: lyx-users On Behalf Of Stef Pillaert
Sent: Tuesday, June 11, 2024 4:20 PM
To: lyx-users
Subject: colours of the docuement tabs
A small one:
When I have a lot of documents opened, the active one
