On Thursday, July 18, 2024 at 7:05:08 AM UTC-4 Edward K. Ream wrote: On Wed, Jul 17, 2024 at 8:51 PM Jacob Peck <[email protected]> wrote:
This being the largest regression I've seen Leo go through in 12 years is a *testament* to how fantastic this app is. Which also, somehow, heightens it absence. It's just a little less 'perfect' now, even as it's more structurally sound 'under the hood'. I agree that some help would be welcome. Thomas's scripts are an excellent starting point. Those scripts are a good *ending* point if you are good with changing the layout using `@button` nodes. Too many buttons aren't good. Once one has a script, it can also be added to a menu, as another possibility. That's what I have done with a script to move the log frame from the tree's splitter to the body's splitter. Partly which way to go it depends on when and how often you use the script. I don't recommend enabling scripts on startup. It's too big a security concern. Instead, I recommend creating new *layout plugins*. Outlines could enable the most appropriate plugin. *Summary* - There is no need for yet another API or yet more commands. - `@button` scripts are best when one wants to allow multiple layouts in an outline. - Bespoke *layout plugins* are another way to package non-standard layouts. I think that Jacob's concern is that out of the box there is no way for a user to set up or choose a different layout, except for the *Window/Toggle-Split-Direction* menu item. That's somewhat useful but some users will want more layout possibilities. With the nested splitter context menu, at least there were possibilities that were obscure in the extreme but could be experimented with. I think that most users don't want to or aren't willing to spend the time to learn to write scripts to create new layouts. I think that layout plugins are a promising way forward, and we should provide several so Leo will have them out-of-the-box ... as soon as we can learn what layouts people want ... -- 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/502b437d-c2bb-445a-b2d1-5a6dda37abafn%40googlegroups.com.
