Taskbar: Tweak taskbar widget margins

Basically, nudge everything down 1 pixel.
This commit is contained in:
Andreas Kling 2021-04-02 23:22:39 +02:00
parent 6ba00ae5b9
commit 22d13d8b1a
Notes: sideshowbarker 2024-07-18 20:53:34 +09:00

View file

@ -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());