From 5975218d9712fdbe7f665e73853e99bd4f827001 Mon Sep 17 00:00:00 2001
From: fredcw <58893963+fredcw@users.noreply.github.com>
Date: Tue, 10 Jun 2025 16:06:30 +0100
Subject: [PATCH] panel.js: always show panel when highlighted

---
 js/ui/panel.js | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/js/ui/panel.js b/js/ui/panel.js
index bf7d47d474..d6b3b8b80d 100644
--- a/js/ui/panel.js
+++ b/js/ui/panel.js
@@ -2087,6 +2087,7 @@ Panel.prototype = {
         this._hidden = false;
         this._disabled = false;
         this._panelEditMode = false;
+        this._highlighted = false;
         this._autohideSettings = null;
         this._destroyed = false;
         this._positionChanged = false;
@@ -2405,8 +2406,8 @@ Panel.prototype = {
 
         this.actor.change_style_pseudo_class('highlight', highlight);
 
-        if (highlight)
-            this.peekPanel();
+        this._highlighted = highlight;
+        this._updatePanelVisibility();
     },
 
     /**
@@ -3685,7 +3686,7 @@ Panel.prototype = {
      * true = autohide, false = always show, intel = Intelligent
      */
     _updatePanelVisibility: function() {
-        if (this._panelEditMode || this._peeking || this._panelHasOpenMenus())
+        if (this._panelEditMode || this._highlighted || this._peeking || this._panelHasOpenMenus())
             this._shouldShow = true;
         else {
             switch (this._autohideSettings) {