1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-07-28 03:47:34 +00:00

Terminal: Move the settings window to GML :^)

This commit is contained in:
Andreas Kling 2020-12-31 23:38:39 +01:00
parent f330dc3886
commit ac50bc79e4
3 changed files with 78 additions and 34 deletions

View file

@ -0,0 +1,62 @@
@GUI::Widget {
fill_with_background_color: true
layout: @GUI::VerticalBoxLayout {
margins: [4, 4, 4, 4]
}
@GUI::GroupBox {
title: "Bell mode"
fixed_height: 94
layout: @GUI::VerticalBoxLayout {
margins: [6, 16, 6, 6]
}
@GUI::RadioButton {
name: "beep_bell_radio"
text: "System beep"
}
@GUI::RadioButton {
name: "visual_bell_radio"
text: "Visual bell"
}
@GUI::RadioButton {
name: "no_bell_radio"
text: "No bell"
}
}
@GUI::GroupBox {
title: "Background opacity"
fixed_height: 50
layout: @GUI::VerticalBoxLayout {
margins: [6, 16, 6, 6]
}
@GUI::OpacitySlider {
name: "background_opacity_slider"
min: 0
max: 255
orientation: "Horizontal"
}
}
@GUI::GroupBox {
title: "Scrollback size (lines)"
layout: @GUI::VerticalBoxLayout {
margins: [6, 16, 6, 6]
}
@GUI::SpinBox {
name: "history_size_spinbox"
min: 0
max: 40960
orientation: "Horizontal"
}
}
}