mirror of
https://github.com/RGBCube/serenity
synced 2025-07-27 17:27:35 +00:00
Userland+LibGUI: Add shorthand versions of the Margins constructor
This allows for typing [8] instead of [8, 8, 8, 8] to specify the same margin on all edges, for example. The constructors follow CSS' style of specifying margins. The added constructors are: - Margins(int all): Sets the same margin on all edges. - Margins(int vertical, int horizontal): Sets the first argument to top and bottom margins, and the second argument to left and right margins. - Margins(int top, int vertical, int bottom): Sets the first argument to the top margin, the second argument to the left and right margins, and the third argument to the bottom margin.
This commit is contained in:
parent
9c9a5c55cb
commit
e11d177618
101 changed files with 232 additions and 201 deletions
|
@ -2,12 +2,12 @@
|
|||
fill_with_background_color: true
|
||||
|
||||
layout: @GUI::VerticalBoxLayout {
|
||||
margins: [8, 8, 8, 8]
|
||||
margins: [8]
|
||||
}
|
||||
|
||||
@GUI::GroupBox {
|
||||
layout: @GUI::VerticalBoxLayout {
|
||||
margins: [24, 16, 6, 16]
|
||||
margins: [24, 16, 6]
|
||||
}
|
||||
|
||||
title: "Workspaces"
|
||||
|
@ -17,7 +17,7 @@
|
|||
fixed_height: 32
|
||||
|
||||
layout: @GUI::HorizontalBoxLayout {
|
||||
margins: [6, 6, 6, 6]
|
||||
margins: [6]
|
||||
}
|
||||
|
||||
@GUI::Label {
|
||||
|
@ -57,7 +57,7 @@
|
|||
}
|
||||
@GUI::Widget {
|
||||
layout: @GUI::VerticalBoxLayout {
|
||||
margins: [6, 6, 6, 6]
|
||||
margins: [6]
|
||||
}
|
||||
@GUI::Label {
|
||||
text: "Use the Ctrl+Alt+Arrow hotkeys to move between workspaces."
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue