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',