import OL gnome-shell-extensions-40.7-9.el9_3
This commit is contained in:
parent
dc735022e1
commit
0860f8254b
29
SOURCES/0001-docking-Only-remove-spacer-if-necessary.patch
Normal file
29
SOURCES/0001-docking-Only-remove-spacer-if-necessary.patch
Normal file
@ -0,0 +1,29 @@
|
|||||||
|
From 3edf3c0be7638bf9161c0d192dd3c2de1e3b9845 Mon Sep 17 00:00:00 2001
|
||||||
|
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
|
||||||
|
Date: Thu, 14 Dec 2023 14:41:04 +0100
|
||||||
|
Subject: [PATCH] docking: Only remove spacer if necessary
|
||||||
|
|
||||||
|
There may not be a main dock at the time when restoring the dash.
|
||||||
|
|
||||||
|
Handle that case by not removing a non-existent spacer, instead of
|
||||||
|
triggering an error.
|
||||||
|
---
|
||||||
|
extensions/dash-to-dock/docking.js | 2 +-
|
||||||
|
1 file changed, 1 insertion(+), 1 deletion(-)
|
||||||
|
|
||||||
|
diff --git a/extensions/dash-to-dock/docking.js b/extensions/dash-to-dock/docking.js
|
||||||
|
index daa9de59..14e2ced6 100644
|
||||||
|
--- a/extensions/dash-to-dock/docking.js
|
||||||
|
+++ b/extensions/dash-to-dock/docking.js
|
||||||
|
@@ -1796,7 +1796,7 @@ var DockManager = class DashToDock_DockManager {
|
||||||
|
|
||||||
|
let overviewControls = Main.overview._overview._controls;
|
||||||
|
Main.overview._overview._controls.layout_manager._dash = this._oldDash;
|
||||||
|
- if (this.mainDock._dashSpacer) {
|
||||||
|
+ if (this.mainDock?._dashSpacer) {
|
||||||
|
Main.overview._overview._controls.remove_child(this.mainDock._dashSpacer);
|
||||||
|
}
|
||||||
|
|
||||||
|
--
|
||||||
|
2.43.0
|
||||||
|
|
@ -7,7 +7,7 @@
|
|||||||
|
|
||||||
Name: gnome-shell-extensions
|
Name: gnome-shell-extensions
|
||||||
Version: 40.7
|
Version: 40.7
|
||||||
Release: 7%{?dist}.1
|
Release: 9%{?dist}
|
||||||
Summary: Modify and extend GNOME Shell functionality and behavior
|
Summary: Modify and extend GNOME Shell functionality and behavior
|
||||||
|
|
||||||
License: GPLv2+
|
License: GPLv2+
|
||||||
@ -40,6 +40,7 @@ Patch017: 0001-desktopManager-Hook-into-LayoutManager-to-create-gri.patch
|
|||||||
Patch018: 0001-gesture-inhibitor-Allow-inhibiting-workspace-switch-.patch
|
Patch018: 0001-gesture-inhibitor-Allow-inhibiting-workspace-switch-.patch
|
||||||
Patch019: 0001-desktop-icons-Don-t-use-blocking-IO.patch
|
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
|
||||||
|
Patch022: 0001-docking-Only-remove-spacer-if-necessary.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
|
||||||
@ -428,8 +429,13 @@ workspaces.
|
|||||||
|
|
||||||
|
|
||||||
%changelog
|
%changelog
|
||||||
* Tue Sep 12 2023 Eduard Abdullin <eabdullni@almalinux.org> - 40.7-7.1
|
* Thu Mar 07 2024 Craig Guiller <craig.guiller@oracle.com> - 40.7-9
|
||||||
- Bump release to match upstream
|
- Handle missing main dock when restoring dash
|
||||||
|
Resolves: RHEL-16723
|
||||||
|
|
||||||
|
* Thu Aug 17 2023 Florian Müllner <fmuellner@redhat.com> - 40.7-8
|
||||||
|
- Rebuild for custom context menu
|
||||||
|
Resolves: #2232332
|
||||||
|
|
||||||
* Wed Feb 15 2023 Florian Müllner <fmuellner@redhat.com> - 40.7-7
|
* Wed Feb 15 2023 Florian Müllner <fmuellner@redhat.com> - 40.7-7
|
||||||
- Fix crash on `dconf update`
|
- Fix crash on `dconf update`
|
||||||
|
Loading…
Reference in New Issue
Block a user