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/CAMF8tS1OwFTqWizqkybYSsDx%3DsYzLM9ET2JsGBZ8wrRuT4BKbg%40mail.gmail.com.
