Hi there,
I will check the styles for GTK.
Thanks.
Riza
On Mon, Jul 3, 2023 at 1:20 PM Lex Trotman via Users
wrote:
>
> Dammit got off the list again, this email stuff is hard compared to Github ;-D
>
> On Mon, 3 Jul 2023 at 19:37, Guido Falsi wrote:
> >
> > On 03/07/23 10:24, Lex Trotman
Dammit got off the list again, this email stuff is hard compared to Github ;-D
On Mon, 3 Jul 2023 at 19:37, Guido Falsi wrote:
>
> On 03/07/23 10:24, Lex Trotman wrote:
> > On Mon, 3 Jul 2023 at 18:02, Guido Falsi wrote:
> >>
> >> On 03/07/23 06:35, Lex Trotman via Users wrote:
> >>> The width,
Is there documentation on the CSS styles that can be used for that?
In the manual it mentions some of these styles, but I think it is not
a full list of style names that can be used.
On Mon, Jul 3, 2023 at 7:36 AM Lex Trotman via Users
wrote:
>
> The width, colour and behaviour of the pane
On 03/07/23 06:35, Lex Trotman via Users wrote:
The width, colour and behaviour of the pane handles is set by the GTK
theme. Here Minty-dark the handle is not very visible, but the cursor
does change.
You can either:
a. change the theme to one that makes the handle visible and/or
changes the
