diff options
author | Andreas Kling <kling@serenityos.org> | 2021-04-02 23:22:39 +0200 |
---|---|---|
committer | Andreas Kling <kling@serenityos.org> | 2021-04-02 23:33:17 +0200 |
commit | 22d13d8b1abb7210fe4091c23eb0013e64e02d96 (patch) | |
tree | bd5bbd950ac9917fe8d7e1ad3bd9dee81ad7b226 /Userland/Services/Taskbar | |
parent | 6ba00ae5b934c33a4ff2de7ed41619a3acf6ca04 (diff) | |
download | serenity-22d13d8b1abb7210fe4091c23eb0013e64e02d96.zip |
Taskbar: Tweak taskbar widget margins
Basically, nudge everything down 1 pixel.
Diffstat (limited to 'Userland/Services/Taskbar')
-rw-r--r-- | Userland/Services/Taskbar/TaskbarWindow.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Userland/Services/Taskbar/TaskbarWindow.cpp b/Userland/Services/Taskbar/TaskbarWindow.cpp index 99f3101e3a..1c3747b358 100644 --- a/Userland/Services/Taskbar/TaskbarWindow.cpp +++ b/Userland/Services/Taskbar/TaskbarWindow.cpp @@ -83,7 +83,7 @@ TaskbarWindow::TaskbarWindow(NonnullRefPtr<GUI::Menu> start_menu) auto& main_widget = set_main_widget<TaskbarWidget>(); main_widget.set_layout<GUI::HorizontalBoxLayout>(); - main_widget.layout()->set_margins({ 3, 2, 3, 2 }); + main_widget.layout()->set_margins({ 3, 3, 3, 1 }); auto& start_button = main_widget.add<GUI::Button>("Serenity"); start_button.set_font(Gfx::FontDatabase::default_bold_font()); |