PrawnOS-nonfree/resources/InstallResources/extensions/window-corner-preview@fabiomereu.it/prefs.js

// Global modules
const GObject = imports.gi.GObject;
const Gtk = imports.gi.Gtk;
const Lang = imports.lang;

// Internal modules
const ExtensionUtils = imports.misc.extensionUtils;
const Me = ExtensionUtils.getCurrentExtension();
const Settings = Me.imports.settings;

const WindowCornerSettings = Settings.WindowCornerSettings;

function init() {
    // Nothing
}

const WindowCornerPreviewPrefsWidget = new GObject.Class({
    Name: "WindowCornerPreview.Prefs.Widget",
    GTypeName: "WindowCornerPreviewPrefsWidget",
    Extends: Gtk.VBox,

    _init: function(params) {
        this.parent(params);

        this.margin = 24;
        this.spacing = 6;

        const settings = new WindowCornerSettings();

        // 1. Behavior

        this.add(new Gtk.Label({
            label: "<b>Behavior when mouse is over (UNDER DEVELOPMENT)</b>",
            use_markup: true,
            xalign: 0.0,
            yalign: 0.0
        }));

        let boxBehavior = new Gtk.VBox({
            spacing: 6,
            margin_top: 6,
            margin_left: 12
        });


        const behaviors = [
            {
                mode: "seethrough",
                label: "See-through (one click to drive it away)"
            },
            {
                mode: "autohide",
                label: "Hide-and-seek (vanish and turn up automatically)"
            }
        ];

        const currentBehaviorMode = settings.behaviorMode;

        let radio = null;

        behaviors.forEach(function (behavior) {

            radio = new Gtk.RadioButton({
                active: behavior.mode === currentBehaviorMode,
                label: behavior.label,
                group: radio,
                sensitive: false
            });

            radio.connect("toggled", Lang.bind(this, function(button) {
                if (button.active) {
                    settings.behaviorMode = behavior.mode;
                }
            }));

            boxBehavior.add(radio);
        });

        this.add(boxBehavior);

        // 2. Hide on top

        let checkHideOnFocus = new Gtk.CheckButton({
            label: "Hide when the mirrored window is on top",
            active: settings.focusHidden
        });

        checkHideOnFocus.connect("toggled", function(button) {
            settings.focusHidden = button.active;
        });

        let boxHideOnFocus = new Gtk.VBox({margin_top: 12});

        boxHideOnFocus.add(checkHideOnFocus);
        this.add(boxHideOnFocus);
    }
});

function buildPrefsWidget() {
    let widget = new WindowCornerPreviewPrefsWidget();
    widget.show_all();

    return widget;
}