On Tue, May 28, 2019 at 9:37 AM Terry Brown wrote:
To replace the functionality of the NestedSplitter interface the dock
> layout needs to support multiple (named) persistent layouts of plugin
> docks (widgets in docks, really, plugins don't need to know about
> docks specifically).
The
Just a couple of dock related thoughts.
To replace the functionality of the NestedSplitter interface the dock
layout needs to support multiple (named) persistent layouts of plugin
docks (widgets in docks, really, plugins don't need to know about
docks specifically). I used this to make Leo into