[ ANN ] Release 8.1.0 RC-1
panagiotis merakos
merakosp at gmail.com
Thu Aug 25 16:41:45 EDT 2016
Could we probably set them on startup?
put revIDEGetPreference("cScriptEditor,editor,font") into scriptTextFont
put revIDEGetPreference("cScriptEditor,editor,fontSize") into scriptTextSize
On Thu, Aug 25, 2016 at 11:33 PM, Richard Gaskin <ambassador at fourthworld.com
> wrote:
> 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
> ____________________________________________________________________
> 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
>
More information about the use-livecode
mailing list