2021-06-30 20:28:16 +03:00
|
|
|
@GUI::Widget {
|
|
|
|
fill_with_background_color: true
|
|
|
|
layout: @GUI::VerticalBoxLayout {
|
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.
2021-08-17 03:11:38 +03:00
|
|
|
margins: [8]
|
2021-06-30 20:28:16 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
@GUI::GroupBox {
|
2022-08-16 15:08:30 +03:00
|
|
|
title: "Layout"
|
|
|
|
preferred_height: "shrink"
|
|
|
|
layout: @GUI::HorizontalBoxLayout {
|
|
|
|
margins: [8]
|
|
|
|
spacing: 2
|
2021-06-30 20:28:16 +03:00
|
|
|
}
|
2022-02-12 20:17:01 +03:00
|
|
|
|
2021-06-30 20:28:16 +03:00
|
|
|
@GUI::Widget {
|
2022-08-16 15:08:30 +03:00
|
|
|
fixed_width: 32
|
|
|
|
layout: @GUI::VerticalBoxLayout {}
|
2021-06-30 20:28:16 +03:00
|
|
|
|
2022-08-16 15:08:30 +03:00
|
|
|
@GUI::ImageWidget {
|
|
|
|
bitmap: "/res/icons/32x32/workspaces.png"
|
2021-06-30 20:28:16 +03:00
|
|
|
}
|
|
|
|
|
2022-08-16 15:08:30 +03:00
|
|
|
@GUI::Layout::Spacer {}
|
2021-06-30 20:28:16 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
@GUI::Widget {
|
2022-08-16 15:08:30 +03:00
|
|
|
layout: @GUI::VerticalBoxLayout {
|
|
|
|
margins: [4, 0, 0, 16]
|
|
|
|
spacing: 10
|
2021-06-30 20:28:16 +03:00
|
|
|
}
|
2022-01-29 10:29:55 +03:00
|
|
|
|
2021-06-30 20:28:16 +03:00
|
|
|
@GUI::Widget {
|
2022-08-16 15:08:30 +03:00
|
|
|
layout: @GUI::HorizontalBoxLayout {
|
|
|
|
spacing: 8
|
2021-06-30 20:28:16 +03:00
|
|
|
}
|
2022-01-29 10:29:55 +03:00
|
|
|
|
2021-06-30 20:28:16 +03:00
|
|
|
@GUI::Label {
|
2022-08-16 15:08:30 +03:00
|
|
|
text: "Rows:"
|
|
|
|
autosize: true
|
|
|
|
}
|
|
|
|
|
|
|
|
@GUI::SpinBox {
|
|
|
|
name: "workspace_rows_spinbox"
|
|
|
|
min: 1
|
|
|
|
max: 16
|
|
|
|
}
|
|
|
|
|
|
|
|
@GUI::Widget {
|
|
|
|
fixed_width: 8
|
2021-06-30 20:28:16 +03:00
|
|
|
}
|
2022-01-29 10:29:55 +03:00
|
|
|
|
2021-06-30 20:28:16 +03:00
|
|
|
@GUI::Label {
|
2022-08-16 15:08:30 +03:00
|
|
|
text: "Columns:"
|
|
|
|
autosize: true
|
2021-06-30 20:28:16 +03:00
|
|
|
}
|
2022-08-16 15:08:30 +03:00
|
|
|
|
|
|
|
@GUI::SpinBox {
|
|
|
|
name: "workspace_columns_spinbox"
|
|
|
|
min: 1
|
|
|
|
max: 16
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
@GUI::Label {
|
|
|
|
name: "keyboard_shortcuts_label"
|
|
|
|
text_alignment: "CenterLeft"
|
2021-06-30 20:28:16 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|