From 2d5f48a176eaabe1f5a7b8beb1cb481bc7deef2b Mon Sep 17 00:00:00 2001
From: Charles Gagnon <charlesg99@outlook.com>
Date: Thu, 2 May 2024 14:37:18 -0400
Subject: [PATCH] Drop gnome-shell allowExtensions property

https://gitlab.gnome.org/GNOME/gnome-shell/-/commit/d7b1264897baedafb42fc21da2bd49d7ba2657fe
---
 extension.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extension.js b/extension.js
index c40e806..85fb7ca 100644
--- a/extension.js
+++ b/extension.js
@@ -85,7 +85,7 @@ export default class DashToPanelExtension extends Extension {
             delete global.dashToPanel;
 
             // Re-enable Ubuntu Dock if it was disabled by dash to panel
-            if (disabledUbuntuDock && Main.sessionMode.allowExtensions) {
+            if (disabledUbuntuDock) {
                 (extensionSystem._callExtensionEnable || extensionSystem.enableExtension).call(extensionSystem, UBUNTU_DOCK_UUID);
             }