Florian Müllner
2b4db8095e
The window-list extension already uses the extension code for its embedded workspace indicator, this will allow it to do the same for the preference page. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/344>
16 lines
583 B
JavaScript
16 lines
583 B
JavaScript
// SPDX-FileCopyrightText: 2012 Giovanni Campagna <gcampagna@src.gnome.org>
|
|
// SPDX-FileCopyrightText: 2014 Florian Müllner <fmuellner@gnome.org>
|
|
//
|
|
// SPDX-License-Identifier: GPL-2.0-or-later
|
|
|
|
// -*- mode: js2; indent-tabs-mode: nil; js2-basic-offset: 4 -*-
|
|
import {ExtensionPreferences} from 'resource:///org/gnome/Shell/Extensions/js/extensions/prefs.js';
|
|
|
|
import {WorkspacesPage} from './workspacePrefs.js';
|
|
|
|
export default class WorkspaceIndicatorPrefs extends ExtensionPreferences {
|
|
getPreferencesWidget() {
|
|
return new WorkspacesPage(this.getSettings());
|
|
}
|
|
}
|