[HC] can we change font size in the script editor?
(Msg 1 of 4)
crrrrrrris <crrrrrrris@[redacted].com>
Monday, 03-Oct-2016 03:52 GMT
My eyes just are not what they used to be. Was their a setting (or a
hack) to change the font size in the script editor ? Thanks.
[HC] can we change font size in the script editor?
(Msg 2 of 4)
beckiergb <beckiergb@[redacted].com>
Monday, 03-Oct-2016 04:04 GMT
set the scriptTextSize to 14
-- Rebecca Bettencourt
On Sun, Oct 2, 2016 at 8:52 PM, CR crrrrrrris@[redacted].com[HyperCard] <
HyperCard-Mailing-List> wrote:
>
>
> My eyes just are not what they used to be. Was their a setting (or a
> hack) to change the font size in the script editor ? Thanks.
>
>
>
[HC] can we change font size in the script editor?
(Msg 3 of 4)
eric.engle <eric.engle@[redacted].com>
Monday, 03-Oct-2016 05:19 GMT
In 2.4 and above yes, but I don't remember how. I distinctly remember setting it to courier.
[HC] can we change font size in the script editor?
(Msg 4 of 4)
crrrrrrris <crrrrrrris@[redacted].com>
Monday, 03-Oct-2016 15:40 GMT
You kids rock. Thank you.
1b. Re: can we change font size in the script editor?
>
> set the scriptTextSize to 14
>
>
> -- Rebecca Bettencourt
>
>
HyperCard® and HyperTalk™ remain trademarks of Apple, Inc.; other trademarked products and terms mentioned in this archive are the property of their respective trademark holders. Individual messages remain the intellectual property of their respective authors.