ladybird/Userland/Applications/TextEditor/TextEditorWindow.gml
sin-ack e11d177618 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-18 10:30:50 +02:00

114 lines
2.4 KiB
Text

@GUI::Widget {
name: "main"
fill_with_background_color: true
layout: @GUI::VerticalBoxLayout {
spacing: 2
}
@GUI::ToolbarContainer {
name: "toolbar_container"
@GUI::Toolbar {
name: "toolbar"
}
}
@GUI::HorizontalSplitter {
@GUI::TextEditor {
name: "editor"
}
@GUI::Widget {
name: "web_view_container"
visible: false
layout: @GUI::VerticalBoxLayout {
}
}
}
@GUI::GroupBox {
name: "find_replace_widget"
visible: false
fill_with_background_color: true
fixed_height: 56
layout: @GUI::VerticalBoxLayout {
spacing: 2
margins: [5]
}
@GUI::Widget {
name: "find_widget"
fill_with_background_color: true
fixed_height: 22
layout: @GUI::HorizontalBoxLayout {
spacing: 4
}
@GUI::Button {
name: "find_previous_button"
fixed_width: 38
}
@GUI::Button {
name: "find_next_button"
fixed_width: 38
}
@GUI::TextBox {
name: "find_textbox"
}
@GUI::CheckBox {
name: "regex_checkbox"
text: "Use RegEx"
fixed_width: 80
}
@GUI::CheckBox {
name: "match_case_checkbox"
text: "Match case"
fixed_width: 85
}
}
@GUI::Widget {
name: "replace_widget"
fill_with_background_color: true
fixed_height: 22
layout: @GUI::HorizontalBoxLayout {
spacing: 4
}
@GUI::Button {
name: "replace_button"
text: "Replace"
fixed_width: 80
}
@GUI::TextBox {
name: "replace_textbox"
}
@GUI::Button {
name: "replace_all_button"
text: "Replace all"
fixed_width: 80
}
@GUI::CheckBox {
name: "wrap_around_checkbox"
text: "Wrap around"
fixed_width: 85
}
}
}
@GUI::Statusbar {
name: "statusbar"
}
}