52 lines
1.4 KiB
TypeScript
52 lines
1.4 KiB
TypeScript
import Gtk from "gi://Gtk";
|
|
import Adw from "gi://Adw";
|
|
import Gio from "gi://Gio";
|
|
import { ExtensionPreferences, gettext as _ } from "resource:///org/gnome/Shell/Extensions/js/extensions/prefs.js";
|
|
|
|
export default class GnomeRectanglePreferences extends ExtensionPreferences {
|
|
_settings?: Gio.Settings;
|
|
|
|
fillPreferencesWindow(window: Adw.PreferencesWindow) {
|
|
this._settings = this.getSettings();
|
|
|
|
const page = new Adw.PreferencesPage({
|
|
title: _("General"),
|
|
iconName: "dialog-information-symbolic",
|
|
});
|
|
|
|
const animationGroup = new Adw.PreferencesGroup({
|
|
title: _("Animation"),
|
|
description: _("Configure move/resize animation"),
|
|
});
|
|
page.add(animationGroup);
|
|
|
|
const animationEnabled = new Adw.SwitchRow({
|
|
title: _("Enabled"),
|
|
subtitle: _("Floating Window"),
|
|
});
|
|
animationGroup.add(animationEnabled);
|
|
|
|
const paddingGroup = new Adw.PreferencesGroup({
|
|
title: _("Paddings"),
|
|
description: _("Configure the padding between windows"),
|
|
});
|
|
page.add(paddingGroup);
|
|
|
|
const paddingInner = new Adw.SpinRow({
|
|
title: _("Inner"),
|
|
subtitle: _("Padding between windows"),
|
|
adjustment: new Gtk.Adjustment({
|
|
lower: 0,
|
|
upper: 1000,
|
|
stepIncrement: 1,
|
|
}),
|
|
});
|
|
paddingGroup.add(paddingInner);
|
|
|
|
window.add(page);
|
|
|
|
this._settings!.bind("float", animationEnabled, "active", Gio.SettingsBindFlags.DEFAULT);
|
|
this._settings!.bind("padding-inner", paddingInner, "value", Gio.SettingsBindFlags.DEFAULT);
|
|
}
|
|
}
|