fix imports in prefs.js

This commit is contained in:
Philipp Unger
2023-08-13 20:10:23 +02:00
parent 7eedebca38
commit 9a3d315638

View File

@@ -27,17 +27,16 @@ import GObject from 'gi://GObject';
import Gtk from 'gi://Gtk';
import Adw from 'gi://Adw';
import Gdk from 'gi://Gdk';
const Mainloop = imports.mainloop;
import * as ExtensionUtils from 'resource:///org/gnome/shell/misc/extensionUtils.js';;
const Gettext = imports.gettext.domain(Me.metadata['gettext-domain']);
const _ = Gettext.gettext;
const N_ = function(e) { return e };
import * as PanelSettings from './panelSettings.js';
import * as Pos from './panelPositions.js';
import {ExtensionPreferences, gettext as _} from 'resource:///org/gnome/Shell/Extensions/js/extensions/prefs.js';
const Mainloop = imports.mainloop;
const N_ = function(e) { return e };
const SCALE_UPDATE_TIMEOUT = 500;
const DEFAULT_PANEL_SIZES = [ 128, 96, 64, 48, 32, 24, 16 ];
const DEFAULT_FONT_SIZES = [ 96, 64, 48, 32, 24, 16, 0 ];
@@ -2341,4 +2340,4 @@ export default class DashToPanelPreferences extends ExtensionPreferences {
let preferences = new Preferences(window);
}
}
}