Re: [Trisquel-users] About changing the size of the mouse pointer

[enduzzer]

That one works nicely. Thanks. Under "Other" in the Main Menu, there's a  
graphical dconf Editor that can be used but the CLI is faster.