2020-12-20 13:47:44 +03:00
|
|
|
@GUI::Widget {
|
|
|
|
name: "browser"
|
|
|
|
fill_with_background_color: true
|
2022-02-12 20:17:01 +03:00
|
|
|
layout: @GUI::VerticalBoxLayout {}
|
2021-04-09 23:23:32 +03:00
|
|
|
|
|
|
|
@GUI::HorizontalSeparator {
|
|
|
|
name: "top_line"
|
|
|
|
fixed_height: 2
|
|
|
|
visible: false
|
2020-12-20 13:47:44 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
@GUI::TabWidget {
|
|
|
|
name: "tab_widget"
|
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
|
|
|
container_margins: [0]
|
2020-12-20 13:47:44 +03:00
|
|
|
uniform_tabs: true
|
2022-05-05 16:32:16 +03:00
|
|
|
reorder_allowed: true
|
|
|
|
show_close_buttons: true
|
2020-12-20 13:47:44 +03:00
|
|
|
text_alignment: "CenterLeft"
|
|
|
|
}
|
|
|
|
}
|