editor: added borders to groups (#5612)

slint-ui · Jul 12, 2024 · 96f2f15 · 96f2f15
1 parent 806d12b
commit 96f2f15
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/tools/lsp/ui/components/group.slint b/tools/lsp/ui/components/group.slint
@@ -42,4 +42,9 @@ export component Group {
     content-layer := VerticalLayout {
         @children
     }
+
+    Rectangle {
+        border-width: 1px;
+        border-color: Palette.border;
+    }
 }
diff --git a/tools/lsp/ui/views/property-view.slint b/tools/lsp/ui/views/property-view.slint
@@ -42,6 +42,8 @@ export component PropertyView {
     }
 
     content-layer := VerticalLayout {
+        padding: background-layer.border-width;
+
         GroupHeader {
             title: @tr("Properties");
         }
@@ -237,4 +239,9 @@ export component PropertyView {
             }
         }
     }
+
+    Rectangle {
+        border-width: 1px;
+        border-color: Palette.border;
+    }
 }