[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#62707: 30.0.50; [PATCH] Non toolkit scroll bar handle
|
From: |
Manuel Giraud |
|
Subject: |
bug#62707: 30.0.50; [PATCH] Non toolkit scroll bar handle |
|
Date: |
Fri, 07 Apr 2023 15:57:36 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Eli Zaretskii <eliz@gnu.org> writes:
[...]
>> 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".
Ok. It was just an observation.
--
Manuel Giraud
- 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, 2023/04/07
- bug#62707: 30.0.50; [PATCH] Non toolkit scroll bar handle,
Manuel Giraud <=
- 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