User font size preference on mobile?

[Roger Eller]

Wait. You mean via a scripted system query?
On May 6, 2016 8:15 PM, "Roger Eller" <roger.e.eller at sealedair.com> wrote:

> Settings > Display > Font Size
>
> Small
> Normal <default>
> Large
> Huge
> On May 6, 2016 6:35 PM, "Richard Gaskin" <ambassador at fourthworld.com>
> wrote:
>
>> On Android the user can set the font size to something larger than the
>> spec default.
>>
>> Anyone here know how to find out what font size the user has specified in
>> their Android system settings?
>>
>> --
>>  Richard Gaskin
>>  Fourth World Systems
>>  Software Design and Development for the Desktop, Mobile, and the Web
>>  ____________________________________________________________________
>>  Ambassador at FourthWorld.com                http://www.FourthWorld.com
>>
>> _______________________________________________
>> use-livecode mailing list
>> use-livecode at lists.runrev.com
>> Please visit this url to subscribe, unsubscribe and manage your
>> subscription preferences:
>> http://lists.runrev.com/mailman/listinfo/use-livecode
>>
>