Hide classification banners from picks
Resolves: RHEL-24438
This commit is contained in:
parent
506e47ad95
commit
1eee7d137f
39
0001-classification-banner-Hide-from-picks.patch
Normal file
39
0001-classification-banner-Hide-from-picks.patch
Normal file
@ -0,0 +1,39 @@
|
|||||||
|
From b9ba6b8708c18fb14033150fdb02a508457e0a17 Mon Sep 17 00:00:00 2001
|
||||||
|
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
|
||||||
|
Date: Fri, 2 Feb 2024 15:39:32 +0100
|
||||||
|
Subject: [PATCH] classification-banner: Hide from picks
|
||||||
|
|
||||||
|
Banners are laid out via a fullscreen actor. While the actor is
|
||||||
|
not reactive, it can still interfere with picks (for example
|
||||||
|
during drag-and-drop operations).
|
||||||
|
|
||||||
|
Avoid that by explicitly hiding the actor from picks.
|
||||||
|
---
|
||||||
|
extensions/classification-banner/extension.js | 4 +++-
|
||||||
|
1 file changed, 3 insertions(+), 1 deletion(-)
|
||||||
|
|
||||||
|
diff --git a/extensions/classification-banner/extension.js b/extensions/classification-banner/extension.js
|
||||||
|
index ea788022..2bde741e 100644
|
||||||
|
--- a/extensions/classification-banner/extension.js
|
||||||
|
+++ b/extensions/classification-banner/extension.js
|
||||||
|
@@ -18,7 +18,7 @@
|
||||||
|
|
||||||
|
/* exported init */
|
||||||
|
|
||||||
|
-const { Clutter, Gio, GLib, GObject, St } = imports.gi;
|
||||||
|
+const { Clutter, Gio, GLib, GObject, Shell, St } = imports.gi;
|
||||||
|
|
||||||
|
const ExtensionUtils = imports.misc.extensionUtils;
|
||||||
|
const Layout = imports.ui.layout;
|
||||||
|
@@ -34,6 +34,8 @@ class ClassificationBanner extends Clutter.Actor {
|
||||||
|
});
|
||||||
|
this._monitorConstraint = constraint;
|
||||||
|
|
||||||
|
+ Shell.util_set_hidden_from_pick(this, true);
|
||||||
|
+
|
||||||
|
this._settings = ExtensionUtils.getSettings();
|
||||||
|
this.connect('destroy', () => {
|
||||||
|
if (this._fullscreenChangedId)
|
||||||
|
--
|
||||||
|
2.43.0
|
||||||
|
|
@ -6,7 +6,7 @@
|
|||||||
|
|
||||||
Name: gnome-shell-extensions
|
Name: gnome-shell-extensions
|
||||||
Version: 3.32.1
|
Version: 3.32.1
|
||||||
Release: 37%{?dist}
|
Release: 38%{?dist}
|
||||||
Summary: Modify and extend GNOME Shell functionality and behavior
|
Summary: Modify and extend GNOME Shell functionality and behavior
|
||||||
|
|
||||||
Group: User Interface/Desktops
|
Group: User Interface/Desktops
|
||||||
@ -58,6 +58,7 @@ Patch0029: 0001-gesture-inhibitor-Allow-inhibiting-workspace-switch-.pat
|
|||||||
Patch0030: 0001-desktop-icons-Don-t-use-blocking-IO.patch
|
Patch0030: 0001-desktop-icons-Don-t-use-blocking-IO.patch
|
||||||
Patch0031: 0001-panel-favorites-Update-to-upstream-version.patch
|
Patch0031: 0001-panel-favorites-Update-to-upstream-version.patch
|
||||||
Patch0032: 0001-desktop-icons-Don-t-try-spawn-with-non-existent-work.patch
|
Patch0032: 0001-desktop-icons-Don-t-try-spawn-with-non-existent-work.patch
|
||||||
|
Patch0033: 0001-classification-banner-Hide-from-picks.patch
|
||||||
|
|
||||||
%description
|
%description
|
||||||
GNOME Shell Extensions is a collection of extensions providing additional and
|
GNOME Shell Extensions is a collection of extensions providing additional and
|
||||||
@ -572,9 +573,9 @@ cp $RPM_SOURCE_DIR/gnome-classic.desktop $RPM_BUILD_ROOT%{_datadir}/xsessions
|
|||||||
|
|
||||||
|
|
||||||
%changelog
|
%changelog
|
||||||
* Thu Nov 02 2023 Florian Müllner <fmuellner@redhat.com> - 3.32.1-37
|
* Wed Feb 07 2024 Florian Müllner <fmuellner@redhat.com> - 3.32.1-38
|
||||||
- Fix spawning terminal without a desktop directory
|
- Hide classification banners from picks
|
||||||
Resolves: RHEL-15031
|
Resolves: RHEL-24438
|
||||||
|
|
||||||
* Fri Sep 15 2023 Florian Müllner <fmuellner@redhat.com> - 3.32.1-36
|
* Fri Sep 15 2023 Florian Müllner <fmuellner@redhat.com> - 3.32.1-36
|
||||||
- Update panel-favorites to matching upstream release
|
- Update panel-favorites to matching upstream release
|
||||||
|
Loading…
Reference in New Issue
Block a user