On Wed, Dec 1, 2010 at 5:25 PM, Terry Brown <[email protected]> wrote: > Attached is a screen shot of the new "free_layout" plugin. > > It allows free manipulation of the panels (swapping, adding, nesting, > removing) via context menus on the dividers between the panels.
I understand that to mean a rclick when the 2 headed arrow icon is showing (mouse over divider) I should see a menu. I don't get a menu ... running .../free_layout/launchLeo.py You can move things from log-panel tabs to their own panels, and back again. It can also swallow the viewrendered plugin window into a panel, as it's doing here. It's trivial for scripts and plugins to add their own panels, basically just c.frame.top.splitter_2.addWidget(yourWidget). > > The screen shot shows the tree panel (top-right), log panel (bottom-right), > and body-panel (bottom-left) along with the tabs from the quicksearch, todo, > and graphcanvas plugins in their own panels, and the viewrendered plugin > running top-left. > > It's not actually available as a plugin - I'm hoping to persuade Edward it > can be merged into the core Qt gui. It subclasses QtGui.Qsplitter, so the > easy way to integrate it is to find-and-replace 'QtGui.Qsplitter' with > 'NestedSplitter' in the Qt gui core code - probably just two occurrences. > Trying to install it from a plugin is difficult, basically trying to replace > high level container elements without breaking existing references. > > Perhaps the best approach is to post a new branch on launchpad for testing? > > Cheers -Terry > > -- > You received this message because you are subscribed to the Google Groups > "leo-editor" group. > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]. > For more options, visit this group at > http://groups.google.com/group/leo-editor?hl=en. > > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
