diff --git a/0001-windowMenu-Ignore-release.patch b/0001-windowMenu-Ignore-release.patch new file mode 100644 index 0000000..bb55ef9 --- /dev/null +++ b/0001-windowMenu-Ignore-release.patch @@ -0,0 +1,26 @@ +From b3cac57511575e1265ab0ebd9c7465a6ade913e8 Mon Sep 17 00:00:00 2001 +From: =?UTF-8?q?Florian=20M=C3=BCllner?= +Date: Thu, 28 Sep 2023 14:34:24 +0200 +Subject: [PATCH] windowMenu: Ignore release + +If the menu was open on button-press, make sure it is kept open +until explicitly dismissed, regardless of the pointer position. +--- + js/ui/windowMenu.js | 1 + + 1 file changed, 1 insertion(+) + +diff --git a/js/ui/windowMenu.js b/js/ui/windowMenu.js +index 3449f759da..ad5c2a74cc 100644 +--- a/js/ui/windowMenu.js ++++ b/js/ui/windowMenu.js +@@ -229,6 +229,7 @@ var WindowMenuManager = class { + let menu = new WindowMenu(window, this._sourceActor); + + this._manager.addMenu(menu); ++ this._manager.ignoreRelease(); + + menu.connect('activate', () => { + window.check_alive(global.get_current_time()); +-- +2.41.0 + diff --git a/gnome-shell.spec b/gnome-shell.spec index 664ccea..d4547f1 100644 --- a/gnome-shell.spec +++ b/gnome-shell.spec @@ -2,7 +2,7 @@ Name: gnome-shell Version: 40.10 -Release: 14%{?dist} +Release: 15%{?dist} Summary: Window management and application launching for GNOME License: GPLv2+ @@ -57,6 +57,7 @@ Patch53: 0001-po-Update-translations.patch Patch54: 0001-st-icon-Only-get-resource-scale-after-peeking-theme-.patch Patch55: 0001-window-tracker-Only-emit-tracked-windows-changed-on-.patch Patch56: owe-support.patch +Patch57: 0001-windowMenu-Ignore-release.patch %define eds_version 3.33.1 %define gnome_desktop_version 3.35.91 @@ -276,6 +277,10 @@ desktop-file-validate %{buildroot}%{_datadir}/applications/evolution-calendar.de %{_mandir}/man1/gnome-shell.1* %changelog +* Wed Oct 18 2023 Florian Müllner - 40.10-15 +- Fix window-menu closing immediately on open + Resolves: RHEL-2663 + * Wed Sep 06 2023 Florian Müllner - 40.10-14 - Support OWE networks Resolves: #2236665