Terminal: Tweak settings window layout slightly

Make it a little taller so we can see the focus rect around the radio
buttons when they are focused.
This commit is contained in:
Andreas Kling 2020-12-27 15:29:13 +01:00
parent 00cfc25688
commit 590fd45461
Notes: sideshowbarker 2024-07-19 00:33:52 +09:00

View file

@ -176,7 +176,7 @@ static RefPtr<GUI::Window> create_settings_window(TerminalWidget& terminal)
auto window = GUI::Window::construct();
window->set_title("Terminal Settings");
window->set_resizable(false);
window->resize(200, 230);
window->resize(200, 240);
window->set_modal(true);
auto& settings = window->set_main_widget<GUI::Widget>();
@ -189,7 +189,7 @@ static RefPtr<GUI::Window> create_settings_window(TerminalWidget& terminal)
radio_container.set_layout<GUI::VerticalBoxLayout>();
radio_container.layout()->set_margins({ 6, 16, 6, 6 });
radio_container.set_size_policy(GUI::SizePolicy::Fill, GUI::SizePolicy::Fixed);
radio_container.set_preferred_size(100, 70);
radio_container.set_preferred_size(100, 80);
auto& sysbell_radio = radio_container.add<GUI::RadioButton>("Use (Audible) System Bell");
auto& visbell_radio = radio_container.add<GUI::RadioButton>("Use (Visual) Terminal Bell");