Monte Goulding wrote:
>> On 26 Aug 2016, at 3:29 AM, Richmond wrote:
>>
>> Personally I find the teeny-weeny font size in the messageBox a
>> bother: and I have had the font in the scriptEditor set to 18
>> for the last 10 years.
>
> I’ll add that too as they should use the same font + size.
Thanks, Monte.
Any chance we can have the scriptTextFont and scriptTextSize global
properties reinstated as the mechanism for that?
http://quality.livecode.com/show_bug.cgi?id=11596
The IDE used to support them, and in my tests it seems they still work
well once they're set, as least as far as holding their values during
the session.
In addition to the Message Box and other IDE elements, having one-stop
shopping for those makes life so much easier for third-party tools who
want to display script-related things in the user's chosen font and size.
--
Richard Gaskin
Fourth World Systems
Software Design and Development for the Desktop, Mobile, and the Web
____________________________________________________________________
ambassa...@fourthworld.com http://www.FourthWorld.com
_______________________________________________
use-livecode mailing list
use-livecode@lists.runrev.com
Please visit this url to subscribe, unsubscribe and manage your subscription
preferences:
http://lists.runrev.com/mailman/listinfo/use-livecode
