I pictured a layout plugin doing it work by running one of those scripts...
On Friday, July 19, 2024 at 7:57:12 AM UTC-4 Edward K. Ream wrote: > On Fri, Jul 19, 2024 at 6:42 AM Thomas Passin <[email protected]> wrote: > >> "Plugins that change layouts probably don't have to worry about >> unexpected layouts." >> >> I don't see it. Many users will want to change from one layout to >> another. If a plugin forces a specific layout at startup time, well and >> good but a user needs to be able to change it. >> > > Right. So only `@button` or `@command` scripts need to worry about > unexpected layouts. > > 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/214f36d0-0ee9-4627-a06a-bf323ac0c0fen%40googlegroups.com.
