TerminalSettingsMain.gml 1.5 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364
  1. @GUI::Widget {
  2. fill_with_background_color: true
  3. layout: @GUI::VerticalBoxLayout {
  4. margins: [10]
  5. spacing: 5
  6. }
  7. @GUI::GroupBox {
  8. title: "Bell Mode"
  9. shrink_to_fit: false
  10. fixed_height: 160
  11. layout: @GUI::VerticalBoxLayout {
  12. margins: [16, 8, 8]
  13. spacing: 16
  14. }
  15. @GUI::Label {
  16. text: "This setting controls the terminal's indication of an ANSI 0x07 bell (\\a)."
  17. text_alignment: "TopLeft"
  18. }
  19. @GUI::Widget {
  20. shrink_to_fit: true
  21. layout: @GUI::VerticalBoxLayout {
  22. spacing: 4
  23. }
  24. @GUI::RadioButton {
  25. name: "beep_bell_radio"
  26. text: "System beep"
  27. }
  28. @GUI::RadioButton {
  29. name: "visual_bell_radio"
  30. text: "Visual bell"
  31. }
  32. @GUI::RadioButton {
  33. name: "no_bell_radio"
  34. text: "No bell"
  35. }
  36. }
  37. }
  38. @GUI::GroupBox {
  39. title: "Scrollback Size (Lines)"
  40. shrink_to_fit: true
  41. layout: @GUI::VerticalBoxLayout {
  42. margins: [16, 8, 8]
  43. }
  44. @GUI::CheckBox {
  45. name: "terminal_show_scrollbar"
  46. text: "Show scrollbar"
  47. }
  48. @GUI::SpinBox {
  49. name: "history_size_spinbox"
  50. min: 0
  51. max: 40960
  52. orientation: "Horizontal"
  53. }
  54. }
  55. }