Update prefs_modern.js

This commit is contained in:
2025-08-11 22:47:21 +02:00
committed by GitHub
parent a4ce7f2613
commit 573ddc2702
+1 -1
View File
@@ -4,11 +4,11 @@
/////////////////////////////////////////////////////////////// ///////////////////////////////////////////////////////////////
// ── GLOBAL IMPORTS ──────────────────────────────────────── // ── GLOBAL IMPORTS ────────────────────────────────────────
import { ExtensionPreferences } from 'resource:///org/gnome/shell/extensions/prefs.js';
import Adw from 'gi://Adw'; import Adw from 'gi://Adw';
import Gio from 'gi://Gio'; import Gio from 'gi://Gio';
import Gtk from 'gi://Gtk'; import Gtk from 'gi://Gtk';
import GLib from 'gi://GLib'; import GLib from 'gi://GLib';
import { ExtensionPreferences, gettext as _ } from 'resource:///org/gnome/shell/extensions/prefs.js';
export default class SimpleTilingPrefs extends ExtensionPreferences { export default class SimpleTilingPrefs extends ExtensionPreferences {
fillPreferencesWindow(window) { fillPreferencesWindow(window) {