mirror of
https://github.com/LadybirdBrowser/ladybird.git
synced 2024-11-11 01:06:01 +03:00
1ff48a3ca4
The settings for Terminal are extracted into their own application, TerminalSettings, which is reachable over the normal Settings menu as well as the same place in the Terminal menu. The font settings are moved into these settings as well, which are now split up into the "Terminal" and "View" tabs. The font settings themselves receive an option to override the selected font with the system default on the user side. The live update behavior of all of the terminal settings is retained. The layout of the new TerminalSettings is based around the other Settings applications, but pixel-perfectness is missing in some places. It's a bit fiddly and I'd like to have some better GUI::Label auto-size behavior, but oh well :^)
64 lines
1.4 KiB
Plaintext
64 lines
1.4 KiB
Plaintext
@GUI::Widget {
|
|
fill_with_background_color: true
|
|
|
|
layout: @GUI::VerticalBoxLayout {
|
|
margins: [10]
|
|
spacing: 5
|
|
}
|
|
|
|
@GUI::GroupBox {
|
|
title: "Bell Mode"
|
|
shrink_to_fit: false
|
|
fixed_height: 160
|
|
|
|
layout: @GUI::VerticalBoxLayout {
|
|
margins: [16, 8, 8]
|
|
spacing: 16
|
|
}
|
|
|
|
@GUI::Label {
|
|
text: "This setting controls the terminal's indication of an ANSI 0x07 bell (\\a)."
|
|
text_alignment: "TopLeft"
|
|
}
|
|
|
|
@GUI::Widget {
|
|
shrink_to_fit: true
|
|
|
|
layout: @GUI::VerticalBoxLayout {
|
|
spacing: 4
|
|
}
|
|
|
|
@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: "Scrollback Size (Lines)"
|
|
shrink_to_fit: true
|
|
|
|
layout: @GUI::VerticalBoxLayout {
|
|
margins: [16, 8, 8]
|
|
}
|
|
|
|
@GUI::SpinBox {
|
|
name: "history_size_spinbox"
|
|
min: 0
|
|
max: 40960
|
|
orientation: "Horizontal"
|
|
}
|
|
}
|
|
}
|