language-servers/slint
1
0
Fork 0
mirror of https://github.com/slint-ui/slint.git synced 2025-10-22 00:02:40 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

editor: added borders to groups (#5612)

Browse source
This commit is contained in:
Florian Blasius 2024-07-12 13:24:35 +00:00 • committed by GitHub
parent 806d12bcb3
commit 96f2f15552
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 12 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
tools/lsp/ui/components/group.slint
View file

@ -42,4 +42,9 @@ export component Group {
content-layer := VerticalLayout { content-layer := VerticalLayout {
@children @children
} }
Rectangle {
border-width: 1px;
border-color: Palette.border;
}
} }

7
tools/lsp/ui/views/property-view.slint
View file

@ -42,6 +42,8 @@ export component PropertyView {
} }
content-layer := VerticalLayout { content-layer := VerticalLayout {
padding: background-layer.border-width;
GroupHeader { GroupHeader {
title: @tr("Properties"); title: @tr("Properties");
} }
@ -237,4 +239,9 @@ export component PropertyView {
} }
} }
} }
Rectangle {
border-width: 1px;
border-color: Palette.border;
}
} }