2020-12-20 07:47:44 -03:00
|
|
|
@GUI::Widget {
|
|
|
|
|
name: "main"
|
|
|
|
|
fill_with_background_color: true
|
|
|
|
|
layout: @GUI::VerticalBoxLayout {
|
|
|
|
|
spacing: 2
|
|
|
|
|
}
|
|
|
|
|
|
2021-04-13 11:18:20 -03:00
|
|
|
@GUI::ToolbarContainer {
|
2021-02-12 14:34:04 -03:00
|
|
|
name: "toolbar_container"
|
2022-02-12 14:17:01 -03:00
|
|
|
|
2021-04-13 11:18:20 -03:00
|
|
|
@GUI::Toolbar {
|
2020-12-20 07:47:44 -03:00
|
|
|
name: "toolbar"
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
@GUI::HorizontalSplitter {
|
2022-08-30 08:38:20 -03:00
|
|
|
opportunistic_resizee: "First"
|
2022-02-20 10:07:31 -03:00
|
|
|
|
2020-12-20 07:47:44 -03:00
|
|
|
@GUI::TextEditor {
|
|
|
|
|
name: "editor"
|
|
|
|
|
}
|
|
|
|
|
|
2021-05-20 17:00:31 -03:00
|
|
|
@GUI::Widget {
|
|
|
|
|
name: "web_view_container"
|
2020-12-20 07:47:44 -03:00
|
|
|
visible: false
|
2022-02-12 14:17:01 -03:00
|
|
|
layout: @GUI::VerticalBoxLayout {}
|
2020-12-20 07:47:44 -03:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2021-02-21 21:01:26 -03:00
|
|
|
@GUI::GroupBox {
|
2020-12-20 07:47:44 -03:00
|
|
|
name: "find_replace_widget"
|
|
|
|
|
visible: false
|
|
|
|
|
fill_with_background_color: true
|
2021-02-21 21:01:26 -03:00
|
|
|
fixed_height: 56
|
2020-12-20 07:47:44 -03:00
|
|
|
layout: @GUI::VerticalBoxLayout {
|
2021-02-21 21:01:26 -03:00
|
|
|
spacing: 2
|
2021-09-15 12:56:01 -03:00
|
|
|
margins: [3]
|
2020-12-20 07:47:44 -03:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
@GUI::Widget {
|
|
|
|
|
name: "find_widget"
|
|
|
|
|
fill_with_background_color: true
|
2020-12-29 21:23:32 -03:00
|
|
|
fixed_height: 22
|
2020-12-20 07:47:44 -03:00
|
|
|
layout: @GUI::HorizontalBoxLayout {
|
2021-02-21 21:01:26 -03:00
|
|
|
spacing: 4
|
2020-12-20 07:47:44 -03:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
@GUI::Button {
|
|
|
|
|
name: "find_previous_button"
|
2021-02-21 21:01:26 -03:00
|
|
|
fixed_width: 38
|
2020-12-20 07:47:44 -03:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
@GUI::Button {
|
|
|
|
|
name: "find_next_button"
|
2021-02-21 21:01:26 -03:00
|
|
|
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
|
2020-12-20 07:47:44 -03:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
@GUI::Widget {
|
|
|
|
|
name: "replace_widget"
|
|
|
|
|
fill_with_background_color: true
|
2020-12-29 21:23:32 -03:00
|
|
|
fixed_height: 22
|
2020-12-20 07:47:44 -03:00
|
|
|
layout: @GUI::HorizontalBoxLayout {
|
2021-02-21 21:01:26 -03:00
|
|
|
spacing: 4
|
2020-12-20 07:47:44 -03:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
@GUI::Button {
|
2021-02-21 21:01:26 -03:00
|
|
|
name: "replace_button"
|
|
|
|
|
text: "Replace"
|
|
|
|
|
fixed_width: 80
|
2020-12-20 07:47:44 -03:00
|
|
|
}
|
|
|
|
|
|
2021-02-21 21:01:26 -03:00
|
|
|
@GUI::TextBox {
|
|
|
|
|
name: "replace_textbox"
|
2020-12-20 07:47:44 -03:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
@GUI::Button {
|
|
|
|
|
name: "replace_all_button"
|
|
|
|
|
text: "Replace all"
|
2021-02-21 21:01:26 -03:00
|
|
|
fixed_width: 80
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
@GUI::CheckBox {
|
|
|
|
|
name: "wrap_around_checkbox"
|
|
|
|
|
text: "Wrap around"
|
|
|
|
|
fixed_width: 85
|
2020-12-20 07:47:44 -03:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2021-04-13 11:18:20 -03:00
|
|
|
@GUI::Statusbar {
|
2020-12-20 07:47:44 -03:00
|
|
|
name: "statusbar"
|
2022-02-22 09:20:05 -03:00
|
|
|
segment_count: 3
|
2020-12-20 07:47:44 -03:00
|
|
|
}
|
|
|
|
|
}
|