This is the other candidate place, of course:
https://leoeditor.com/scripting-miscellany.html
On Tuesday, January 3, 2023 at 9:28:42 PM UTC Edward K. Ream wrote:
> On Tue, Jan 3, 2023 at 2:58 PM jkn <[email protected]> wrote:
>
>> Well, maybe we should have a push to improve the 'visibility' of
>> scripts.leo. I can't remember how it is 'promoted', perhaps some work in
>> that are would be worthwhile.
>>
>> I see there is no introduction to itself inside the file, so it's not
>> very clear what it's supposed to represent.
>>
>> Would calling it 'example_scripts.leo', and having a preamble in the
>> file, help any?
>>
>
> I doubt it :-)
>
> Edward
>
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/leo-editor/438569c5-abaf-446c-8c9e-b8c393fa4de6n%40googlegroups.com.
