[gnome-builder: 8/8] Merge branch 'wip/chergert/libpanel-changes'

[Christian Hergert <chergert src gnome org>]

commit b3ccad820e01fa05e336c58105f3bd1f84c72a1e
Merge: 1f3101c8b 70c2209c2
Author: Christian Hergert <chergert redhat com>
Date:   Tue Sep 13 12:34:46 2022 -0700

    Merge branch 'wip/chergert/libpanel-changes'

 src/libide/editor/ide-editor-save-delegate.c       |  26 +++++
 src/libide/editor/ide-editor-workspace.c           |  23 ++++
 src/libide/editor/ide-editor-workspace.ui          |  12 +--
 src/libide/gui/ide-frame.c                         |   2 +-
 src/libide/gui/ide-pane.c                          |  27 +++--
 src/libide/gui/ide-panel-position.c                |  25 ++---
 src/libide/gui/ide-panel-position.h                |   8 +-
 src/libide/gui/ide-primary-workspace.c             |  23 ++++
 src/libide/gui/ide-primary-workspace.ui            |  12 +--
 src/libide/gui/ide-workspace-private.h             |  60 ++++++-----
 src/libide/gui/ide-workspace.c                     | 116 ++++++++++++++++++---
 src/plugins/buildui/gbp-buildui-workspace-addin.c  |   4 +-
 .../debuggerui/ide-debugger-workspace-addin.c      |   2 +-
 src/plugins/grep/gbp-grep-popover.c                |   2 +-
 src/plugins/grep/gbp-grep-workspace-addin.c        |   2 +-
 src/plugins/meson.build                            |   1 +
 .../messages/gbp-messages-workspace-addin.c        |   2 +-
 .../gbp-project-tree-workspace-addin.c             |   2 +-
 .../sessionui/gbp-sessionui-workbench-addin.c      |  77 ++++++++++++++
 .../sessionui/gbp-sessionui-workbench-addin.h      |  31 ++++++
 src/plugins/sessionui/meson.build                  |  12 +++
 src/plugins/sessionui/sessionui-plugin.c           |  37 +++++++
 src/plugins/sessionui/sessionui.gresource.xml      |   6 ++
 src/plugins/sessionui/sessionui.plugin             |   8 ++
 .../symbol-tree/gbp-symbol-hover-provider.c        |  17 ++-
 .../terminal/gbp-terminal-workspace-addin.c        |   2 +-
 src/plugins/testui/gbp-testui-workspace-addin.c    |   4 +-
 src/plugins/todo/gbp-todo-workspace-addin.c        |   2 +-
 28 files changed, 450 insertions(+), 95 deletions(-)
---