TerminalSettings: Spruce up the "View" tab a bit

- Use sentence style capitalization for CheckBox and GroupBox titles.
- Move the terminal font to the top.
- Split the cursor settings into two GroupBoxes (one for the shape,
  and one for the blinking behavior).
This commit is contained in:
Andreas Kling 2023-03-03 10:39:37 +01:00
parent df0bf51441
commit 880504e51d
Notes: sideshowbarker 2024-07-17 02:38:39 +09:00

View file

@ -6,23 +6,7 @@
}
@GUI::GroupBox {
title: "Background Opacity"
preferred_height: "fit"
layout: @GUI::VerticalBoxLayout {
margins: [8]
spacing: 8
}
@GUI::HorizontalOpacitySlider {
name: "background_opacity_slider"
min: 0
max: 255
orientation: "Horizontal"
}
}
@GUI::GroupBox {
title: "Terminal Font"
title: "Terminal font"
preferred_height: "fit"
layout: @GUI::VerticalBoxLayout {
margins: [8]
@ -59,30 +43,57 @@
}
@GUI::GroupBox {
title: "Cursor Settings"
title: "Background opacity"
preferred_height: "fit"
layout: @GUI::VerticalBoxLayout {
margins: [8]
spacing: 8
}
@GUI::HorizontalOpacitySlider {
name: "background_opacity_slider"
min: 0
max: 255
orientation: "Horizontal"
}
}
@GUI::Widget {
preferred_height: "shrink"
layout: @GUI::HorizontalBoxLayout {}
@GUI::GroupBox {
title: "Cursor shape"
layout: @GUI::VerticalBoxLayout {
margins: [8]
}
@GUI::RadioButton {
name: "terminal_cursor_block"
text: "Block cursor"
text: "Block"
}
@GUI::RadioButton {
name: "terminal_cursor_underline"
text: "Underline cursor"
text: "Underscore"
}
@GUI::RadioButton {
name: "terminal_cursor_bar"
text: "Bar cursor"
text: "Vertical bar"
}
}
@GUI::GroupBox {
title: "Cursor behavior"
layout: @GUI::VerticalBoxLayout {
margins: [8]
}
@GUI::CheckBox {
name: "terminal_cursor_blinking"
text: "Blinking cursor"
text: "Blink cursor"
}
}
}
}