On Fri, Jul 19, 2024 at 7:32 AM Thomas Passin <[email protected]> wrote:
> I pictured a layout plugin doing it work by running one of those scripts... > The big picture is coming into focus: 1. Besides the original helper, g.app.gui.*find_widget_by_name*, we'll want g.app.gui.*restore_layout*. This helper will use the "split direction" setting. It should be straightforward to create this helper. 2. We'll probably want four new Qt gui commands to change layouts. There may be no need for plugins or `@button` scripts! And that's 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/CAMF8tS2Nvry_L%3DMADq6_KV%3DV0Q6a7i8AC8qDF9tpNWN_AfExZw%40mail.gmail.com.
