remove unecessary array spread; rename hidden dock thickness option

.config/ags/config.js

@@ -54,7 +54,7 @@ const Windows = () => [
     SideRight(),
     forMonitors(Osk),
     Session(),
-    ...(userOptions.dock.enabled ? [forMonitors(Dock)] : []),
+    userOptions.dock.enabled ? forMonitors(Dock) : null,
     // forMonitors(Bar),
     ...(userOptions.appearance.fakeScreenRounding ? [
         forMonitors((id) => Corner(id, 'top left', true)),

.config/ags/modules/.configuration/user_options.js

@@ -78,8 +78,7 @@ let configOptions = {
     },
     'dock': {
         'enabled': true,
-        // Threshold for hover to trigger dock display
+        'hiddenThickness': 5,
-        'hoverMinHeight': 5,
         'pinnedApps': ['firefox', 'org.gnome.Nautilus'],
         'layer': 'top',
         'monitorExclusivity': true, // Dock will move to other monitor along with focus if enabled

.config/ags/modules/dock/dock.js

@@ -348,7 +348,7 @@ export default (monitor = 0) => {
         },
         child: Box({
             homogeneous: true,
-            css: `min-height: ${userOptions.dock.hoverMinHeight}px;`,
+            css: `min-height: ${userOptions.dock.hiddenThickness}px;`,
             children: [
                 dockRevealer,
             ]