From db0dc83c3b2382501c4b887c7705420c30a5e604 Mon Sep 17 00:00:00 2001
From: claudiux <claude.clerc@gmail.com>
Date: Sun, 1 Dec 2024 21:24:06 +0100
Subject: [PATCH] smart-panel and Flipper: work together

---
 Flipper@connerdev/files/Flipper@connerdev/5.4/extension.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Flipper@connerdev/files/Flipper@connerdev/5.4/extension.js b/Flipper@connerdev/files/Flipper@connerdev/5.4/extension.js
index 16555b71..b8d547d2 100644
--- a/Flipper@connerdev/files/Flipper@connerdev/5.4/extension.js
+++ b/Flipper@connerdev/files/Flipper@connerdev/5.4/extension.js
@@ -17,6 +17,8 @@ const Tweener = imports.ui.tweener;
 const Settings = imports.ui.settings;
 const Panel = imports.ui.panel;
 
+const UUID = "Flipper@connerdev";
+
 let settings;
 let bindings = ['switch-to-workspace-left',
                 'switch-to-workspace-right',
@@ -35,6 +37,7 @@ Flipper.prototype = {
         this.destroy_requested = false;
         this.queued_direction = null;
         this.monitor = Main.layoutManager.primaryMonitor;
+        settings = new FlipperSettings(UUID);
 
         let [binding_type,,,direction] = binding.get_name().split('-');
         direction = Meta.MotionDirection[direction.toUpperCase()];