RGBCube/serenity
1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-10-31 20:32:44 +00:00
Code Issues Activity Actions

WorkspacePicker: Tweak applet height and draw frame around desktop rects

Browse source
This commit is contained in:
Andreas Kling 2022-08-14 12:50:50 +02:00
parent 8cfb0d4514
commit 6744930f4a
2 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
Userland/Applets/WorkspacePicker/DesktopStatusWindow.cpp
View file

@ -52,8 +52,10 @@ public:
for (unsigned row = 0; row < desktop.workspace_rows(); ++row) { for (unsigned row = 0; row < desktop.workspace_rows(); ++row) {
for (unsigned column = 0; column < desktop.workspace_columns(); ++column) { for (unsigned column = 0; column < desktop.workspace_columns(); ++column) {
painter.fill_rect(rect_for_desktop(row, column), auto rect = rect_for_desktop(row, column);
painter.fill_rect(rect,
(row == current_row() && column == current_column()) ? active_color : inactive_color); (row == current_row() && column == current_column()) ? active_color : inactive_color);
Gfx::StylePainter::current().paint_frame(painter, rect, palette(), Gfx::FrameShape::Container, Gfx::FrameShadow::Sunken, 1);
} }
} }
} }

2
Userland/Applets/WorkspacePicker/main.cpp
View file

@ -30,7 +30,7 @@ ErrorOr<int> serenity_main(Main::Arguments arguments)
auto window = TRY(DesktopStatusWindow::try_create()); auto window = TRY(DesktopStatusWindow::try_create());
window->set_title("WorkspacePicker"); window->set_title("WorkspacePicker");
window->resize(28, 16); window->resize(28, 15);
auto& desktop = GUI::Desktop::the(); auto& desktop = GUI::Desktop::the();