TextEditorWindow.gml 2.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111
  1. @GUI::Widget {
  2. name: "main"
  3. fill_with_background_color: true
  4. layout: @GUI::VerticalBoxLayout {
  5. spacing: 2
  6. }
  7. @GUI::ToolbarContainer {
  8. name: "toolbar_container"
  9. @GUI::Toolbar {
  10. name: "toolbar"
  11. }
  12. }
  13. @GUI::HorizontalSplitter {
  14. opportunistic_resizee: "First"
  15. @GUI::TextEditor {
  16. name: "editor"
  17. }
  18. @GUI::Widget {
  19. name: "web_view_container"
  20. visible: false
  21. layout: @GUI::VerticalBoxLayout {}
  22. }
  23. }
  24. @GUI::GroupBox {
  25. name: "find_replace_widget"
  26. visible: false
  27. fill_with_background_color: true
  28. fixed_height: 56
  29. layout: @GUI::VerticalBoxLayout {
  30. spacing: 2
  31. margins: [3]
  32. }
  33. @GUI::Widget {
  34. name: "find_widget"
  35. fill_with_background_color: true
  36. fixed_height: 22
  37. layout: @GUI::HorizontalBoxLayout {
  38. spacing: 4
  39. }
  40. @GUI::Button {
  41. name: "find_previous_button"
  42. fixed_width: 38
  43. }
  44. @GUI::Button {
  45. name: "find_next_button"
  46. fixed_width: 38
  47. }
  48. @GUI::TextBox {
  49. name: "find_textbox"
  50. }
  51. @GUI::CheckBox {
  52. name: "regex_checkbox"
  53. text: "Use RegEx"
  54. fixed_width: 80
  55. }
  56. @GUI::CheckBox {
  57. name: "match_case_checkbox"
  58. text: "Match case"
  59. fixed_width: 85
  60. }
  61. }
  62. @GUI::Widget {
  63. name: "replace_widget"
  64. fill_with_background_color: true
  65. fixed_height: 22
  66. layout: @GUI::HorizontalBoxLayout {
  67. spacing: 4
  68. }
  69. @GUI::Button {
  70. name: "replace_button"
  71. text: "Replace"
  72. fixed_width: 80
  73. }
  74. @GUI::TextBox {
  75. name: "replace_textbox"
  76. }
  77. @GUI::Button {
  78. name: "replace_all_button"
  79. text: "Replace all"
  80. fixed_width: 80
  81. }
  82. @GUI::CheckBox {
  83. name: "wrap_around_checkbox"
  84. text: "Wrap around"
  85. fixed_width: 85
  86. }
  87. }
  88. }
  89. @GUI::Statusbar {
  90. name: "statusbar"
  91. segment_count: 3
  92. }
  93. }