#

skel/.local/share/gnome-shell/extensions/nohotcornerazuri.free.fr/extension.js

@@ -0,0 +1,33 @@
+const Main = imports.ui.main;
+const ExtensionUtils = imports.misc.extensionUtils;
+const Config = imports.misc.config;
+
+let _id;
+
+function _disable_hot_corners() {
+  // Disables all hot corners
+  Main.layoutManager.hotCorners.forEach(function(hot_corner) {
+    if (!hot_corner) {
+      return;
+    }
+
+    hot_corner._toggleOverview = function() {};
+    hot_corner._pressureBarrier._trigger = function() {};
+  });
+}
+
+function init() {
+}
+
+function enable() {
+  _disable_hot_corners();
+  // Hot corners may be re-created afterwards (for example, If there's a monitor change).
+  // So we catch all changes.
+  _id = Main.layoutManager.connect('hot-corners-changed', _disable_hot_corners);
+}
+
+function disable() {
+  // Disconnects the callback and re-creates the hot corners
+  Main.layoutManager.disconnect(_id);
+  Main.layoutManager._updateHotCorners();
+}

skel/.local/share/gnome-shell/extensions/nohotcornerazuri.free.fr/metadata.json

@@ -0,0 +1,23 @@
+{
+  "_generated": "Generated by SweetTooth, do not edit", 
+  "description": "This extension disables the top left hot corners. You can still click on Activities or press the dedicated key to reach the overview. Since 3.8, should work with other extensions modifying the Activities button. On versions prior to 3.8, may not disable other hotcorners in multiscreen configurations and won't work on fallback/flashback mode.", 
+  "name": "No Topleft Hot Corner", 
+  "shell-version": [
+    "3.8", 
+    "3.10", 
+    "3.12", 
+    "3.14", 
+    "3.16", 
+    "3.18", 
+    "3.20", 
+    "3.22", 
+    "3.24", 
+    "3.26", 
+    "3.28", 
+    "3.30", 
+    "3.32"
+  ], 
+  "url": "https://github.com/HROMANO/nohotcorner/", 
+  "uuid": "nohotcorner@azuri.free.fr", 
+  "version": 19
+}