From ef098d898673444e6e789416779aa4453027c9eb Mon Sep 17 00:00:00 2001 From: Dome Date: Mon, 29 Sep 2025 09:39:12 +0200 Subject: [PATCH] Update modern.js --- modern.js | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/modern.js b/modern.js index 5292758..70cf209 100644 --- a/modern.js +++ b/modern.js @@ -10,8 +10,9 @@ import Shell from 'gi://Shell'; import Gio from 'gi://Gio'; import GLib from 'gi://GLib'; 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 Config from 'resource:///org/gnome/shell/misc/config.js'; // ── CONST ──────────────────────────────────────────── const WM_SCHEMA = 'org.gnome.desktop.wm.keybindings'; @@ -35,6 +36,8 @@ const KEYBINDINGS = { let shellVersion; if (Shell.get_session) { shellVersion = Shell.get_session().get_shell_version(); +} else if (Config.PACKAGE_VERSION) { + shellVersion = Config.PACKAGE_VERSION; } else { shellVersion = global.shell_version; }