On Mon, Aug 26, 2024 at 10:53 AM Thomas Passin <[email protected]> wrote:
> In the recent discussion about problems with the Add-Editor command and > its added editor, I floated the idea of making the body pane be a tabbed > widget instead of the current stacked widget. I found it was simple to > make this change in Leo's core code. Trying it out, I wrote a script to put > VR3 into the tabbed body pane. I learned that I like to use it that way. > > Then I realized that I could write script so that anyone could try out a > tabbed body pane without needing to make any changes in Leo's code. My > scripts are in the attached outline. > This is beautiful work, Thomas. It opens up a range of possibilities. 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/CAMF8tS0eJQ05t3K5QOhBiSEQ7TiohhTMDa0_K_AfnTdjN_sQ1A%40mail.gmail.com.
