> On 26 Aug 2016, at 6:33 AM, Richard Gaskin <ambassador at fourthworld.com> wrote: > > Any chance we can have the scriptTextFont and scriptTextSize global properties reinstated as the mechanism for that? If they are deprecated they may be removed so it might be time to move any code that depends on these to use revIDEGetPreference. Cheers Monte