2021-05-21 19:55:30 +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-05-21 19:55:30 +03:00
|
|
|
spacing: 8
|
|
|
|
}
|
|
|
|
|
|
|
|
@GUI::Widget {
|
2022-02-22 22:01:20 +03:00
|
|
|
preferred_height: "fit"
|
2021-05-21 19:55:30 +03:00
|
|
|
layout: @GUI::HorizontalBoxLayout {
|
|
|
|
spacing: 6
|
|
|
|
}
|
|
|
|
|
|
|
|
@GUI::Label {
|
|
|
|
fixed_width: 100
|
|
|
|
text: "Default font:"
|
|
|
|
text_alignment: "CenterLeft"
|
|
|
|
}
|
|
|
|
|
2022-02-22 22:01:20 +03:00
|
|
|
@GUI::Label {
|
2021-06-28 14:39:56 +03:00
|
|
|
background_role: "Base"
|
2022-02-22 22:01:20 +03:00
|
|
|
shadow: "Sunken"
|
|
|
|
shape: "Container"
|
|
|
|
thickness: 2
|
2021-05-21 19:55:30 +03:00
|
|
|
fill_with_background_color: true
|
2022-02-22 22:01:20 +03:00
|
|
|
name: "default_font_label"
|
2021-05-21 19:55:30 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
@GUI::Button {
|
|
|
|
text: "..."
|
|
|
|
name: "default_font_button"
|
|
|
|
fixed_width: 30
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-07-31 19:41:07 +03:00
|
|
|
@GUI::Widget {
|
|
|
|
preferred_height: "fit"
|
|
|
|
layout: @GUI::HorizontalBoxLayout {
|
|
|
|
spacing: 6
|
|
|
|
}
|
|
|
|
|
|
|
|
@GUI::Label {
|
|
|
|
fixed_width: 100
|
|
|
|
text: "Window title font:"
|
|
|
|
text_alignment: "CenterLeft"
|
|
|
|
}
|
|
|
|
|
|
|
|
@GUI::Label {
|
|
|
|
background_role: "Base"
|
|
|
|
shadow: "Sunken"
|
|
|
|
shape: "Container"
|
|
|
|
thickness: 2
|
|
|
|
fill_with_background_color: true
|
|
|
|
name: "window_title_font_label"
|
|
|
|
}
|
|
|
|
|
|
|
|
@GUI::Button {
|
|
|
|
text: "..."
|
|
|
|
name: "window_title_font_button"
|
|
|
|
fixed_width: 30
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-05-21 19:55:30 +03:00
|
|
|
@GUI::Widget {
|
2022-02-22 22:01:20 +03:00
|
|
|
preferred_height: "fit"
|
2021-05-21 19:55:30 +03:00
|
|
|
layout: @GUI::HorizontalBoxLayout {
|
|
|
|
spacing: 6
|
|
|
|
}
|
|
|
|
|
|
|
|
@GUI::Label {
|
|
|
|
fixed_width: 100
|
|
|
|
text: "Fixed-width font:"
|
|
|
|
text_alignment: "CenterLeft"
|
|
|
|
}
|
|
|
|
|
2022-02-22 22:01:20 +03:00
|
|
|
@GUI::Label {
|
2021-06-28 14:39:56 +03:00
|
|
|
background_role: "Base"
|
2022-02-22 22:01:20 +03:00
|
|
|
shadow: "Sunken"
|
|
|
|
shape: "Container"
|
|
|
|
thickness: 2
|
2021-05-21 19:55:30 +03:00
|
|
|
fill_with_background_color: true
|
2022-02-22 22:01:20 +03:00
|
|
|
name: "fixed_width_font_label"
|
2021-05-21 19:55:30 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
@GUI::Button {
|
|
|
|
text: "..."
|
|
|
|
name: "fixed_width_font_button"
|
|
|
|
fixed_width: 30
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-02-22 22:01:20 +03:00
|
|
|
@GUI::Layout::Spacer {}
|
2021-05-21 19:55:30 +03:00
|
|
|
}
|