[gnome-builder/wip/gtk4-port] libide/gui: add frame to right edge
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder/wip/gtk4-port] libide/gui: add frame to right edge
- Date: Wed, 27 Apr 2022 22:50:14 +0000 (UTC)
commit 5c87e4773ce590190ff9c7e2eb561d97e9ab34e5
Author: Christian Hergert <chergert redhat com>
Date: Wed Apr 27 15:45:41 2022 -0700
libide/gui: add frame to right edge
So that you can actually drop things. Also it will cause the right panel
button to go away until you drag something to it.
src/libide/editor/ide-editor-workspace.ui | 4 ++++
src/libide/gui/ide-primary-workspace.ui | 4 ++++
2 files changed, 8 insertions(+)
---
diff --git a/src/libide/editor/ide-editor-workspace.ui b/src/libide/editor/ide-editor-workspace.ui
index ee9243735..d8e51c2b8 100644
--- a/src/libide/editor/ide-editor-workspace.ui
+++ b/src/libide/editor/ide-editor-workspace.ui
@@ -54,6 +54,10 @@
<child type="end">
<object class="PanelPaned" id="edge_end">
<property name="orientation">vertical</property>
+ <child>
+ <object class="PanelFrame">
+ </object>
+ </child>
</object>
</child>
<child type="bottom">
diff --git a/src/libide/gui/ide-primary-workspace.ui b/src/libide/gui/ide-primary-workspace.ui
index f768da093..71221c33a 100644
--- a/src/libide/gui/ide-primary-workspace.ui
+++ b/src/libide/gui/ide-primary-workspace.ui
@@ -77,6 +77,10 @@
<child type="end">
<object class="PanelPaned" id="edge_end">
<property name="orientation">vertical</property>
+ <child>
+ <object class="PanelFrame">
+ </object>
+ </child>
</object>
</child>
<child type="bottom">
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]