Support docks in Leo's core

[edreamleo]

This issue is a revision of #777. It is independent of #1093: add pyzo features to Leo.

Started May 5, 2019. Code complete and debugged on May 30.

Status

• The --dock command-line argument enables QDockWidgets.
• Use QDockWidgets in Leo's top-level DynamicWindow class, a subclass of QMainWindow.
• Put the outline and body panes in separate QDockWidgets.
• The toggle-split-direction command just issues a warning when --dock is in effect.
• Add convenience method, dw.createDockWidget.
• Save/restore dock layout.
• Put each additional body pane in a separate QDockWidget. This is worth doing.
• Make the components of the Tabs dock dockable.
  legacy_log_dock switch in qt_frame.py:
  • True: the Spell & Find tabs remain in the Tabs dock.
  • False: Use separate docks for the Spell & Find tabs.
• Add dock-related css to all Leo theme files. See below.

Bugs

• Support docks in "Log pane" plugins #1154: Support g.app.dock in plugins.
• Raise dockwidget with focus to top of tabified dock #1159: Raise dock widgets as needed.
• Leo doesn't preserve the sizes of the main window properly. Fixed at 8119f8.
• Problems saving/restoring dock positions with multiple outlines.
• Tab completion doesn't ensure that the Tab dock is visible. Fixed at 18af67e.
• Deferred: I'll fix these only if we decide to allow floatable docks.
• Alt-x doesn't set focus properly when the body pane is free-floating.
• After selecting a word in the body editor, Ctrl-f doesn't change the focus to the spell tab.
  The selection is transferred to the search field but the focus remains in the body tab.
• Tab layout not correct in second outline. Fixed at 99cc3c9.
  Leo saves/restores per-outline dock state only, defaulting to a global state if necessary.

css

Here are the new entries in EKRWindowsDark.leo:

QMainWindow::separator {
    /* The separator between QDockWidget's. */
    background: @dark-base01;
    width: 4px; height: 4px;
    border: 2px solid black;
}
QDockWidget::title {
    color: @dark-base3;
    background: black;
    border: 1px solid @dark-base2;
}
QDockWidget::close-button, QDockWidget::float-button {
    background: @solarized-base01;
}
QLineEdit#editorLabel {
    border: 1px solid @dark-base2;
}

Qt Styles

Leo does not use Qt styles, and does not need to. pyzo issue #566 arose from confusion between Cleanlooks and Fusion styles. Alas, the cool Cleanlooks splitter "grip" is C++ code, so it can not easily be made part of Leo.

[ghost]

Selecting a word in the body editor and hitting Ctrl-f doesn't change the focus to the spell tab.

The selection is transferred to the search field but the focus remains in the body tab.

[edreamleo]

I am going to close this issue. Please reopen or file a separate issue if necessary.

[edreamleo]

I am going to reopen this issue due to this post.

[edreamleo]

Lewis's recent bug has been fixed.