From b9403ebfaf98ad5dde3491490cf640bc1d471924 Mon Sep 17 00:00:00 2001
From: end-4 <97237370+end-4@users.noreply.github.com>
Date: Thu, 18 Apr 2024 18:54:04 +0700
Subject: [PATCH] remove unecessary array spread; rename hidden dock thickness
 option

---
 .config/ags/config.js                              | 2 +-
 .config/ags/modules/.configuration/user_options.js | 3 +--
 .config/ags/modules/dock/dock.js                   | 2 +-
 3 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/.config/ags/config.js b/.config/ags/config.js
index 646f54dbf..b4523f919 100644
--- a/.config/ags/config.js
+++ b/.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)),
diff --git a/.config/ags/modules/.configuration/user_options.js b/.config/ags/modules/.configuration/user_options.js
index 099c6ddac..826fc2cd0 100644
--- a/.config/ags/modules/.configuration/user_options.js
+++ b/.config/ags/modules/.configuration/user_options.js
@@ -78,8 +78,7 @@ let configOptions = {
     },
     'dock': {
         'enabled': true,
-        // Threshold for hover to trigger dock display
-        'hoverMinHeight': 5,
+        'hiddenThickness': 5,
         'pinnedApps': ['firefox', 'org.gnome.Nautilus'],
         'layer': 'top',
         'monitorExclusivity': true, // Dock will move to other monitor along with focus if enabled
diff --git a/.config/ags/modules/dock/dock.js b/.config/ags/modules/dock/dock.js
index f2ae00342..d30f41e9b 100644
--- a/.config/ags/modules/dock/dock.js
+++ b/.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,
             ]