Florian Müllner
c06c33b488
We already include an .editorconfig that is supported by many
editors, including emacs, so no need to repeat an emacs-specific
modeline in every source file.
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/353>
(cherry picked from commit 253ddb8642)
91 lines
2.9 KiB
JavaScript
91 lines
2.9 KiB
JavaScript
// SPDX-FileCopyrightText: 2013 Florian Müllner <fmuellner@gnome.org>
|
|
// SPDX-FileCopyrightText: 2014 Sylvain Pasche <sylvain.pasche@gmail.com>
|
|
//
|
|
// SPDX-License-Identifier: GPL-2.0-or-later
|
|
|
|
import Adw from 'gi://Adw';
|
|
import Gio from 'gi://Gio';
|
|
import GLib from 'gi://GLib';
|
|
import GObject from 'gi://GObject';
|
|
import Gtk from 'gi://Gtk';
|
|
|
|
import {ExtensionPreferences, gettext as _} from 'resource:///org/gnome/Shell/Extensions/js/extensions/prefs.js';
|
|
|
|
class WindowListPrefsWidget extends Adw.PreferencesPage {
|
|
static {
|
|
GObject.registerClass(this);
|
|
}
|
|
|
|
constructor(settings) {
|
|
super();
|
|
|
|
this._actionGroup = new Gio.SimpleActionGroup();
|
|
this.insert_action_group('window-list', this._actionGroup);
|
|
|
|
this._settings = settings;
|
|
this._actionGroup.add_action(
|
|
this._settings.create_action('grouping-mode'));
|
|
this._actionGroup.add_action(
|
|
this._settings.create_action('show-on-all-monitors'));
|
|
this._actionGroup.add_action(
|
|
this._settings.create_action('display-all-workspaces'));
|
|
|
|
const groupingGroup = new Adw.PreferencesGroup({
|
|
title: _('Window Grouping'),
|
|
});
|
|
this.add(groupingGroup);
|
|
|
|
const modes = [
|
|
{mode: 'never', title: _('Never group windows')},
|
|
{mode: 'auto', title: _('Group windows when space is limited')},
|
|
{mode: 'always', title: _('Always group windows')},
|
|
];
|
|
|
|
for (const {mode, title} of modes) {
|
|
const check = new Gtk.CheckButton({
|
|
action_name: 'window-list.grouping-mode',
|
|
action_target: new GLib.Variant('s', mode),
|
|
});
|
|
const row = new Adw.ActionRow({
|
|
activatable_widget: check,
|
|
title,
|
|
});
|
|
row.add_prefix(check);
|
|
groupingGroup.add(row);
|
|
}
|
|
|
|
const miscGroup = new Adw.PreferencesGroup();
|
|
this.add(miscGroup);
|
|
|
|
let toggle = new Gtk.Switch({
|
|
action_name: 'window-list.show-on-all-monitors',
|
|
valign: Gtk.Align.CENTER,
|
|
});
|
|
let row = new Adw.ActionRow({
|
|
title: _('Show on all monitors'),
|
|
activatable_widget: toggle,
|
|
});
|
|
row.add_suffix(toggle);
|
|
miscGroup.add(row);
|
|
|
|
toggle = new Gtk.Switch({
|
|
action_name: 'window-list.display-all-workspaces',
|
|
valign: Gtk.Align.CENTER,
|
|
});
|
|
this._settings.bind('display-all-workspaces',
|
|
toggle, 'active', Gio.SettingsBindFlags.DEFAULT);
|
|
row = new Adw.ActionRow({
|
|
title: _('Show windows from all workspaces'),
|
|
activatable_widget: toggle,
|
|
});
|
|
row.add_suffix(toggle);
|
|
miscGroup.add(row);
|
|
}
|
|
}
|
|
|
|
export default class WindowListPrefs extends ExtensionPreferences {
|
|
getPreferencesWidget() {
|
|
return new WindowListPrefsWidget(this.getSettings());
|
|
}
|
|
}
|