From 573ddc270285ed618dc5f2372374b44264c1a3c9 Mon Sep 17 00:00:00 2001 From: Dome Date: Mon, 11 Aug 2025 22:47:21 +0200 Subject: [PATCH] Update prefs_modern.js --- prefs_modern.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prefs_modern.js b/prefs_modern.js index 333b6cb..7897d87 100644 --- a/prefs_modern.js +++ b/prefs_modern.js @@ -4,11 +4,11 @@ /////////////////////////////////////////////////////////////// // ── GLOBAL IMPORTS ──────────────────────────────────────── -import { ExtensionPreferences } from 'resource:///org/gnome/shell/extensions/prefs.js'; import Adw from 'gi://Adw'; import Gio from 'gi://Gio'; import Gtk from 'gi://Gtk'; import GLib from 'gi://GLib'; +import { ExtensionPreferences, gettext as _ } from 'resource:///org/gnome/shell/extensions/prefs.js'; export default class SimpleTilingPrefs extends ExtensionPreferences { fillPreferencesWindow(window) {