From 972fedf3cfb54d59c6221c7a889f112952d5a288 Mon Sep 17 00:00:00 2001 From: Andreas Kling Date: Wed, 30 Dec 2020 03:14:21 +0100 Subject: [PATCH] Terminal: Tweak settings window slightly --- Applications/Terminal/main.cpp | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/Applications/Terminal/main.cpp b/Applications/Terminal/main.cpp index 9d343e8029..7b01327b38 100644 --- a/Applications/Terminal/main.cpp +++ b/Applications/Terminal/main.cpp @@ -180,7 +180,7 @@ static RefPtr create_settings_window(TerminalWidget& terminal) auto window = GUI::Window::construct(); window->set_title("Terminal Settings"); window->set_resizable(false); - window->resize(200, 240); + window->resize(200, 254); window->set_modal(true); auto& settings = window->set_main_widget(); @@ -189,14 +189,14 @@ static RefPtr create_settings_window(TerminalWidget& terminal) settings.set_layout(); settings.layout()->set_margins({ 4, 4, 4, 4 }); - auto& radio_container = settings.add("Bell Mode"); + auto& radio_container = settings.add("Bell mode"); radio_container.set_layout(); radio_container.layout()->set_margins({ 6, 16, 6, 6 }); - radio_container.set_fixed_height(80); + radio_container.set_fixed_height(94); - auto& sysbell_radio = radio_container.add("Use (Audible) System Bell"); - auto& visbell_radio = radio_container.add("Use (Visual) Terminal Bell"); - auto& nobell_radio = radio_container.add("Disable Terminal Bell"); + auto& sysbell_radio = radio_container.add("Use (audible) system Bell"); + auto& visbell_radio = radio_container.add("Use (visual) bell"); + auto& nobell_radio = radio_container.add("Disable bell"); switch (terminal.bell_mode()) { case TerminalWidget::BellMode::Visible: @@ -220,7 +220,7 @@ static RefPtr create_settings_window(TerminalWidget& terminal) terminal.set_bell_mode(TerminalWidget::BellMode::Disabled); }; - auto& slider_container = settings.add("Background Opacity"); + auto& slider_container = settings.add("Background opacity"); slider_container.set_layout(); slider_container.layout()->set_margins({ 6, 16, 6, 6 }); slider_container.set_fixed_height(50); @@ -233,7 +233,7 @@ static RefPtr create_settings_window(TerminalWidget& terminal) slider.set_range(0, 255); slider.set_value(terminal.opacity()); - auto& spinbox_container = settings.add("Scroll Length"); + auto& spinbox_container = settings.add("Scroll length"); spinbox_container.set_layout(); spinbox_container.layout()->set_margins({ 6, 16, 6, 6 }); spinbox_container.set_fixed_height(46);