[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#62707: 30.0.50; [PATCH] Non toolkit scroll bar handle
From: |
Eli Zaretskii |
Subject: |
bug#62707: 30.0.50; [PATCH] Non toolkit scroll bar handle |
Date: |
Fri, 07 Apr 2023 16:46:40 +0300 |
> From: Manuel Giraud <manuel@ledu-giraud.fr>
> Cc: 62707@debbugs.gnu.org
> Date: Fri, 07 Apr 2023 14:56:54 +0200
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> [...]
>
> > Maybe it's distracting at times, but this is how Emacs behaves with
> > all the toolkits, or at least most of them. The size of the
> > scroll-bar thumb is set according to the size of text, not according
> > to the number of lines. So I don't think we should change this for
> > just one configuration.
>
> I have tested with gtk3, athena and no toolkit. FWIW, gtk3 seems to be
> "line based".
Well, I did say "or at least most of them".
- bug#62707: 30.0.50; [PATCH] Non toolkit scroll bar handle, Manuel Giraud, 2023/04/07
- bug#62707: 30.0.50; [PATCH] Non toolkit scroll bar handle, Eli Zaretskii, 2023/04/07
- bug#62707: 30.0.50; [PATCH] Non toolkit scroll bar handle, Manuel Giraud, 2023/04/07
- bug#62707: 30.0.50; [PATCH] Non toolkit scroll bar handle, Eli Zaretskii, 2023/04/07
- bug#62707: 30.0.50; [PATCH] Non toolkit scroll bar handle, Manuel Giraud, 2023/04/07
- bug#62707: 30.0.50; [PATCH] Non toolkit scroll bar handle, Manuel Giraud, 2023/04/07
- bug#62707: 30.0.50; [PATCH] Non toolkit scroll bar handle,
Eli Zaretskii <=
- bug#62707: 30.0.50; [PATCH] Non toolkit scroll bar handle, Manuel Giraud, 2023/04/07
- bug#62707: 30.0.50; [PATCH] Non toolkit scroll bar handle, Po Lu, 2023/04/07
- bug#62707: 30.0.50; [PATCH] Non toolkit scroll bar handle, Po Lu, 2023/04/07
- bug#62707: 30.0.50; [PATCH] Non toolkit scroll bar handle, Manuel Giraud, 2023/04/08