diff options
| author | mimi89999 <michel@lebihan.pl> | 2021-01-17 12:49:21 +0100 |
|---|---|---|
| committer | Xavier Del Campo Romero <xavi.dcr@tutanota.com> | 2023-10-05 14:32:08 +0200 |
| commit | 1b4cc3a6aafa23e6bc8308e7784b06cfe7fd5cb3 (patch) | |
| tree | 104a9074df435beda1920b71f8ff3f62a2d0c8cc | |
| parent | 76ce40d9e3ebc385b470602a8b95f3eb31f3ea64 (diff) | |
Add separator between paned stacks in main window
A GtkSeparator was added between paned stacks in main window to align it with the separator in the headerbar. Since the sidebar already had a border, be need to remove it.
| -rw-r--r-- | main/data/theme.css | 5 | ||||
| -rw-r--r-- | main/data/unified_main_content.ui | 9 |
2 files changed, 14 insertions, 0 deletions
diff --git a/main/data/theme.css b/main/data/theme.css index 059585b7..bbf16262 100644 --- a/main/data/theme.css +++ b/main/data/theme.css @@ -74,6 +74,11 @@ window.dino-main .dino-sidebar > frame { border-bottom: 1px solid @borders; } +window.dino-main list.sidebar { + border-left: 0px; + border-right: 0px; +} + .message-box { transition: background .05s ease; } diff --git a/main/data/unified_main_content.ui b/main/data/unified_main_content.ui index 31493492..e16bc4a8 100644 --- a/main/data/unified_main_content.ui +++ b/main/data/unified_main_content.ui @@ -67,6 +67,15 @@ </packing> </child> <child> + <object class="GtkSeparator" id="paned_separator"> + <property name="orientation">vertical</property> + <property name="visible">True</property> + <style> + <class name="sidebar"/> + </style> + </object> + </child> + <child> <object class="GtkOverlay"> <property name="visible">True</property> <child> |