[Cuis-dev] Mouse pointer size

[Hilaire Fernandes]

Goes in pair:

     Preferences at: #biggerCursors put: false.
     Cursor defaultCursor activateCursor.

Le 09/03/2023 à 17:46, Hilaire Fernandes a écrit :
>
> Hi Alexandre,
>
> Try:
>
>     Preferences at: #biggerCursors put: false.
>
-- 
GNU Dr. Geo
http://drgeo.eu
http://blog.drgeo.eu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.cuis.st/mailman/archives/cuis-dev/attachments/20230309/9bbdf682/attachment.htm>