use static number for workspaces

provision/modules/desktop/gnome.nix

@@ -149,11 +149,12 @@ in {
           center-new-windows = true;
           focus-change-on-pointer-rest = false;
           workspaces-only-on-primary = true;
-          dynamic-workspaces = true;
+          dynamic-workspaces = false;
         };
         "org/gnome/desktop/wm/preferences" = {
           auto-raise = false;
           raise-on-click = false;
+          num-workspaces = 10;
         };
         "org/gnome/shell/keybindings" = {
           switch-to-application-1 = [];

provision/modules/devel/engineering.nix

@@ -13,6 +13,7 @@ in {
       prusa-slicer # Slicing software optimized for Prusa 3D printers, offering user-friendly interface and settings.
       freecad # Open-source parametric 3D CAD modeler.
       blender # Open-source 3D creation suite for modeling, animation, rendering, and more.
+      openscad
     ];
   };
 }