Hide classification banners from picks
Resolves: RHEL-22789
This commit is contained in:
parent
82fefc56e4
commit
2e076e88aa
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
|
||||||
|
|
@ -7,7 +7,7 @@
|
|||||||
|
|
||||||
Name: gnome-shell-extensions
|
Name: gnome-shell-extensions
|
||||||
Version: 40.7
|
Version: 40.7
|
||||||
Release: 11%{?dist}
|
Release: 12%{?dist}
|
||||||
Summary: Modify and extend GNOME Shell functionality and behavior
|
Summary: Modify and extend GNOME Shell functionality and behavior
|
||||||
|
|
||||||
License: GPLv2+
|
License: GPLv2+
|
||||||
@ -42,6 +42,7 @@ Patch019: 0001-desktop-icons-Don-t-use-blocking-IO.patch
|
|||||||
Patch020: 0001-window-list-Explicitly-dispose-settings-on-destroy.patch
|
Patch020: 0001-window-list-Explicitly-dispose-settings-on-destroy.patch
|
||||||
Patch021: 0001-desktop-icons-Don-t-try-spawn-with-non-existent-work.patch
|
Patch021: 0001-desktop-icons-Don-t-try-spawn-with-non-existent-work.patch
|
||||||
Patch022: 0001-docking-Only-remove-spacer-if-necessary.patch
|
Patch022: 0001-docking-Only-remove-spacer-if-necessary.patch
|
||||||
|
Patch023: 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
|
||||||
@ -445,6 +446,10 @@ workspaces.
|
|||||||
|
|
||||||
|
|
||||||
%changelog
|
%changelog
|
||||||
|
* Fri Feb 02 2024 Florian Müllner <fmuellner@redhat.com> - 40.7-12
|
||||||
|
- Hide classification banners from picks
|
||||||
|
Resolves: RHEL-22789
|
||||||
|
|
||||||
* Thu Dec 14 2023 Florian Müllner <fmuellner@redhat.com> - 40.7-11
|
* Thu Dec 14 2023 Florian Müllner <fmuellner@redhat.com> - 40.7-11
|
||||||
- Handle missing main dock when restoring dash
|
- Handle missing main dock when restoring dash
|
||||||
Resolves: RHEL-16723
|
Resolves: RHEL-16723
|
||||||
|
Loading…
Reference in New Issue
Block a user