1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-07-28 21:27:36 +00:00

Terminal+TerminalSettings: Add caret customization

This commit is contained in:
Michał Lach 2022-05-12 23:08:51 +02:00 committed by Sam Atkins
parent e2b0f6795f
commit e9dae38f38
6 changed files with 103 additions and 2 deletions

View file

@ -59,6 +59,34 @@
}
}
@GUI::GroupBox {
title: "Cursor settings"
shrink_to_fit: true
layout: @GUI::VerticalBoxLayout {
margins: [16, 8, 8]
}
@GUI::RadioButton {
name: "terminal_cursor_block"
text: "Block cursor"
}
@GUI::RadioButton {
name: "terminal_cursor_underline"
text: "Underline cursor"
}
@GUI::RadioButton {
name: "terminal_cursor_bar"
text: "Bar cursor"
}
@GUI::CheckBox {
name: "terminal_cursor_blinking"
text: "Blinking cursor"
}
}
@GUI::GroupBox {
title: "Color Scheme"
fixed_height: 70