WorkspacePicker: Tweak applet height and draw frame around desktop rects

2 files changed, 4 insertions, 2 deletions

diff --git a/Userland/Applets/WorkspacePicker/DesktopStatusWindow.cpp b/Userland/Applets/WorkspacePicker/DesktopStatusWindow.cpp
index a96eea8ab2..97263525e1 100644
--- a/Userland/Applets/WorkspacePicker/DesktopStatusWindow.cpp
+++ b/Userland/Applets/WorkspacePicker/DesktopStatusWindow.cpp
@@ -52,8 +52,10 @@ public:
 
         for (unsigned row = 0; row < desktop.workspace_rows(); ++row) {
             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);
+                Gfx::StylePainter::current().paint_frame(painter, rect, palette(), Gfx::FrameShape::Container, Gfx::FrameShadow::Sunken, 1);
             }
         }
     }
diff --git a/Userland/Applets/WorkspacePicker/main.cpp b/Userland/Applets/WorkspacePicker/main.cpp
index ad658295e3..442f7ea8a1 100644
--- a/Userland/Applets/WorkspacePicker/main.cpp
+++ b/Userland/Applets/WorkspacePicker/main.cpp
@@ -30,7 +30,7 @@ ErrorOr<int> serenity_main(Main::Arguments arguments)
 
     auto window = TRY(DesktopStatusWindow::try_create());
     window->set_title("WorkspacePicker");
-    window->resize(28, 16);
+    window->resize(28, 15);
 
     auto& desktop = GUI::Desktop::the();