[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: |
Sat, 08 Apr 2023 16:46:30 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Po Lu <luangruo@yahoo.com> writes:
[...]
>> 1- Fill the rectangle area above the handle (with background)
>> 2- Fill the rectangle area of the handle (with foreground)
>> 3- Fill the rectangle area below the handle (with background)
>
> This is fast, and avoids much flicker.
Ok. So I think that this bug report can safely be closed. Sorry for
the noise.
--
Manuel Giraud
- bug#62707: 30.0.50; [PATCH] Non toolkit scroll bar handle, (continued)
- 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, 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 <=