From 4b9065277f928be1b58a0f0e8d394667a509d5b5 Mon Sep 17 00:00:00 2001
From: end-4 <97237370+end-4@users.noreply.github.com>
Date: Thu, 18 Apr 2024 18:43:15 +0700
Subject: [PATCH] adjust dock pin icon

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

diff --git a/.config/ags/modules/.configuration/user_options.js b/.config/ags/modules/.configuration/user_options.js
index 416a57be9..099c6ddac 100644
--- a/.config/ags/modules/.configuration/user_options.js
+++ b/.config/ags/modules/.configuration/user_options.js
@@ -94,11 +94,11 @@ let configOptions = {
         'autoHide': [
             {
                 'trigger': 'client-added',
-                'interval': 2000,
+                'interval': 1000,
             },
             {
                 'trigger': 'client-removed',
-                'interval': 2000,
+                'interval': 1000,
             },
         ],
     },
diff --git a/.config/ags/modules/dock/dock.js b/.config/ags/modules/dock/dock.js
index 92005c2f4..a7cb0ad6e 100644
--- a/.config/ags/modules/dock/dock.js
+++ b/.config/ags/modules/dock/dock.js
@@ -77,7 +77,7 @@ const PinButton = () => {
             child: Widget.Box({
                 homogeneous: true,
                 className: 'dock-app-icon',
-                child: MaterialIcon('Lock', 'larger')
+                child: MaterialIcon('push_pin', 'hugeass')
             }),
             overlays: [Widget.Box({
                 class_name: 'indicator',