Dome/Simple-Tiling
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update modern.js

Browse Source
This commit is contained in:
Dome
2025-09-29 09:39:12 +02:00
committed by GitHub
parent 18d698cf7e
commit ef098d8986
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
modern.js
+4 -1
View File
@@ -10,8 +10,9 @@ import Shell from 'gi://Shell';
import Gio from 'gi://Gio'; import Gio from 'gi://Gio';
import GLib from 'gi://GLib'; import GLib from 'gi://GLib';
import Clutter from 'gi://Clutter'; import Clutter from 'gi://Clutter';
import { Extension } from 'resource:///org/gnome/shell/extensions/extension.js'; import { Extension } from 'resource:///org/gnome/shell/extensions/extension.js';
import * as Main from 'resource:///org/gnome/shell/ui/main.js'; import * as Main from 'resource:///org/gnome/shell/ui/main.js';
import * as Config from 'resource:///org/gnome/shell/misc/config.js';
// ── CONST ──────────────────────────────────────────── // ── CONST ────────────────────────────────────────────
const WM_SCHEMA = 'org.gnome.desktop.wm.keybindings'; const WM_SCHEMA = 'org.gnome.desktop.wm.keybindings';
@@ -35,6 +36,8 @@ const KEYBINDINGS = {
let shellVersion; let shellVersion;
if (Shell.get_session) { if (Shell.get_session) {
shellVersion = Shell.get_session().get_shell_version(); shellVersion = Shell.get_session().get_shell_version();
} else if (Config.PACKAGE_VERSION) {
shellVersion = Config.PACKAGE_VERSION;
} else { } else {
shellVersion = global.shell_version; shellVersion = global.shell_version;
} }