[Cuis-dev] Mouse pointer size

[Alexandre Rousseau]

Thanks Hilaire. Running a search for biggerCursors reveals the problematic
(for me) side effect:

PreferenceSet >> defaultFontSize: guiElementSizePref
> ...
>  Preferences at: #biggerCursors put: (pointSize > 14).
> ...


Increasing the font size also increased the cursor size. Not what I would
have expected.

Thanks
A.


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