Update enterprise.js

This commit is contained in:
2025-10-01 16:44:20 +02:00
committed by GitHub
parent 2295756f19
commit 5f09053e06
+11 -12
View File
@@ -9,7 +9,6 @@ const { Meta, Shell, Gio, GLib, Clutter } = imports.gi;
const Main = imports.ui.main;
const ExtensionUtils = imports.misc.extensionUtils;
const Me = ExtensionUtils.getCurrentExtension();
const Extension = imports.ui.extension.Extension;
// ── CONST ────────────────────────────────────────────
const WM_SCHEMA = 'org.gnome.desktop.wm.keybindings';
@@ -590,16 +589,16 @@ class Tiler {
}
// ── EXTENSIONWRAPPER ──────────────────────────
var EnterpriseExtension = class EnterpriseExtension extends Extension {
enable() {
this.tiler = new Tiler(this);
this.tiler.enable();
}
let tiler;
disable() {
if (this.tiler) {
this.tiler.disable();
this.tiler = null;
function enable() {
tiler = new Tiler(Me);
tiler.enable();
}
function disable() {
if (tiler) {
tiler.disable();
tiler = null;
}
}
};
}