mirror of
https://github.com/RGBCube/serenity
synced 2025-05-14 07:14:58 +00:00

And adjust some GML properties. Since a808cfa
, splitters grow
opportunistically. Setting them to fixed sizes now quite literally
fixes them in place. Fixes immovable splitters missed in the
aforementioned commit.
111 lines
2.4 KiB
Text
111 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 {
|
|
opportunistic_resizee: "First"
|
|
|
|
@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: [3]
|
|
}
|
|
|
|
@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"
|
|
segment_count: 3
|
|
}
|
|
}
|