Thanks Thomas, I will take a look at this for my own purposes
J^n
On Friday, August 22, 2025 at 5:40:46 AM UTC+1 [email protected] wrote:
> The body frame can be converted into a tabbed widget that contains the
> body editor. You can add other widgets like VR, VR3, RPCalc, and others as
> tabs in the tabbed widget too. The advantage of doing this is that it's not
> necessary to split up Leo's window into more pieces when opening VR, and
> the others. The body editor and all the pther panes will remain the same
> size they were. This improves readability and editing. I usually use VR3 in
> a tab these days. Switching between the body editor and VR3 is as easy as
> clicking on the right tab.
>
> The scripts are fairly simple. They are written as @commands ready to be
> copied into your myLeoSettings.leo file. I have attached a zipped outline
> containing the ones I use. I created a "Layouts" menu in myLeoSettings.leo
> that includes these commands; the outline doesn't include these menu
> settings. I have also attached a screen shot showing the tabbed body pane.
> The scripts could be modified slightly to create tabs for other widgets too.
>
> If you try to add one of the widgets (like VR3) to a tab but you forgot to
> make the body tabbed first, no harm will be done. The widget will simply
> open in a new tab in the Log frame instead. After making the body tabbed,
> you can re-run the script to move the widget to a new tab in the body pane.
>
> There is no keyboard shortcut to navigate between the new tabs so far as I
> know. It should be possible to set that up but I haven't looked into it.
> You have to click on a tab with the mouse.
>
> I posted about these scripts once before, but I think it was before the
> current layout system was finalized. Most people have probably forgotten
> about it, anyway. Go ahead and try these scripts out, see if you like the
> tabbed body layout.
>
--
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 visit
https://groups.google.com/d/msgid/leo-editor/386b166a-d10b-4a21-b562-47f00eb7d64bn%40googlegroups.com.
