Leo now sports optional dockable widgets, as described in #1150 <https://github.com/leo-editor/leo-editor/issues/1150>. All the work is being done in the "dock" branch.
To enable, add --dock to the command line. Leo remains completely unchanged otherwise. As you will see, the "Tabs" dock replaces the Log pane. However, the Tabs dock works *exactly* as before, except that it can be moved, etc, just like any other dockable widget. Making the Tabs dock work like the Log pane collapsed the complexity of the code and avoided any drastic gui changes. Very little of Leo's code has actually changed. There is no need to modify any plugin, or remove Leo's nested splitter code. The only other gui-related change will be to put each additional body editor in its own dockable widget. That's the next task. I'll merge "dock" into "devel" only when this task is complete. Straightforward additions to Leo's theme (.leo) files will adapt the theme to dockable widgets. *Summary* Leo will use docks only if --docks appears on the command line. Leo looks and feels essentially the same regardless of --dock. Dockable widgets will always be optional. A few other straightforward tasks remain. See #1150 <https://github.com/leo-editor/leo-editor/issues/1150> for details details. 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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/f1664cb6-246d-4d99-a6aa-bc28bdbdec32%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
