Re: [e-users] Mouse cursor size

[Peter F. <pe...@si...>]

On 13/01/2023 20:00, Carsten Haitzler wrote:
> On Fri, 13 Jan 2023 13:12:07 +0000 Peter Flynn <pe...@si...> said:
[...]
> they can. have you seen the pointer settings dialog with a slider 
> for size? i said it has both a size AND pointer scale to scale. 

I managed to miss that, thank you! I've been away from e for 4–5 years 
(so I'll have other questions too :-)

Peter