I as well. I had a vague memory of trying to find out where those options were,
and also could not find them in the preference settings.
Peter
> On Jan 25, 2022, at 1:27 AM, Peter Bogdanoff via use-livecode
> wrote:
>
> Hi Dave, look under the Edit > Options menu.
>
> Peter Bogdanoff
>
>>
Thank you very much. I so seldom use any menu item in the script editor, I
hadn’t thought to look there.
Dave
> On Jan 24, 2022, at 10:26 PM, Peter Bogdanoff via use-livecode
> wrote:
>
> Hi Dave, look under the Edit > Options menu.
>
> Peter Bogdanoff
>
>> On Jan 25, 2022, at 12:59 AM, Davi
