smart-panel and Flipper: work together

linuxmint · Dec 1, 2024 · db0dc83 · db0dc83
1 parent 2886fac
commit db0dc83
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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()];