- commit
- 49ccbc33a64c46e6bd1978a825f8880956c8e446
- parent
- 9ab999443a749acb76693d34622813ec052b6629
- Author
- Tobias Bengfort <tobias.bengfort@posteo.de>
- Date
- 2023-01-06 10:00
style pane separator as simple border - closer to Adwaita - bigger interaction area
Diffstat
| D | gtk-3.0/assets/pane-handle-vertical.svg | 7 | ------- |
| D | gtk-3.0/assets/pane-handle.svg | 7 | ------- |
| M | gtk-3.0/widgets/pane-separator.css | 22 | +++++++++++----------- |
3 files changed, 11 insertions, 25 deletions
diff --git a/gtk-3.0/assets/pane-handle-vertical.svg b/gtk-3.0/assets/pane-handle-vertical.svg
@@ -1,7 +0,0 @@1 -1 <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 10 4">2 -1 <g style="color: #000; opacity:.2">3 -1 <rect width="1" x="9" y="0" height="4"/>4 -1 <rect width="1" x="5" y="0" height="4"/>5 -1 <rect width="1" x="1" y="0" height="4"/>6 -1 </g>7 -1 </svg>
diff --git a/gtk-3.0/assets/pane-handle.svg b/gtk-3.0/assets/pane-handle.svg
@@ -1,7 +0,0 @@1 -1 <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 4 10">2 -1 <g style="color: #000; opacity:.2">3 -1 <rect width="4" x="0" y="9" height="1"/>4 -1 <rect width="4" x="0" y="5" height="1"/>5 -1 <rect width="4" x="0" y="1" height="1"/>6 -1 </g>7 -1 </svg>
diff --git a/gtk-3.0/widgets/pane-separator.css b/gtk-3.0/widgets/pane-separator.css
@@ -1,16 +1,16 @@ 1 1 paned separator {2 -1 background-color: transparent;3 -1 background-image: url("../assets/pane-handle.svg");4 -1 background-repeat: no-repeat;5 -1 background-position: center center;6 -1 min-width: 4px;7 -1 min-height: 4px;-1 2 min-width: 1px; -1 3 min-height: 1px; -1 4 background-color: @border_color; -1 5 background-clip: content-box; -1 6 -gtk-icon-source: none; 8 7 } 9 810 -1 paned.vertical > separator {11 -1 background-image: url("../assets/pane-handle-vertical.svg");-1 9 paned:not(.vertical) > separator { -1 10 padding: 0 8px; -1 11 margin: 0 -8px; 12 12 }13 -114 -1 paned separator:hover {15 -1 background-color: @bg_color_secondary;-1 13 paned.vertical > separator { -1 14 padding: 8px 0; -1 15 margin: -8px 0; 16 16 }