From 5843739b21c21ca5f6a2d66b67e93e3e289f9b51 Mon Sep 17 00:00:00 2001
From: Dodothereal <129273127+Dodothereal@users.noreply.github.com>
Date: Sat, 18 Jul 2026 14:27:33 +0200
Subject: [PATCH] centered-cinnamon-dock: hide actor when hiding dock and no
 active menus, fix dock occupying screen area

---
 .../files/centered-cinnamon-dock@mostlynick3/6.4/extension.js  | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/centered-cinnamon-dock@mostlynick3/files/centered-cinnamon-dock@mostlynick3/6.4/extension.js b/centered-cinnamon-dock@mostlynick3/files/centered-cinnamon-dock@mostlynick3/6.4/extension.js
index 3aaf9d7cb..ffe3e84c6 100644
--- a/centered-cinnamon-dock@mostlynick3/files/centered-cinnamon-dock@mostlynick3/6.4/extension.js
+++ b/centered-cinnamon-dock@mostlynick3/files/centered-cinnamon-dock@mostlynick3/6.4/extension.js
@@ -2620,6 +2620,7 @@ function hidePanel(panel) {
                         state.isHiding = false;
                         if (!hasActiveMenus(panel)) {
                             panel.actor.set_scale(0.0, 0.0);
+                            panel.actor.hide();
                         } else {
                             state.isHidden = false;
                             showPanel(panel);
@@ -2689,6 +2690,7 @@ function hidePanel(panel) {
                         state.isHiding = false;
                         if (!hasActiveMenus(panel)) {
                             panel.actor.set_scale(0.0, 0.0);
+                            panel.actor.hide();
                         } else {
                             state.isHidden = false;
                             showPanel(panel);
@@ -2733,6 +2735,7 @@ function hidePanel(panel) {
                     state.isHiding = false;
                     if (!hasActiveMenus(panel)) {
                         panel.actor.set_scale(0.0, 0.0);
+                        panel.actor.hide();
                     } else {
                         state.isHidden = false;
                         showPanel(panel);