PrawnOS-nonfree/resources/InstallResources/extensions/window-corner-preview@fabiomereu.it/settings.js
gdallasdye 93192fa511
Revived Gnome Support (#162)
* Add gnome, stable and unstable mesa packages,

* Install unstable mesa and stable gnome packages
2020-05-26 16:43:15 -07:00

114 lines
3.1 KiB
JavaScript

"use strict";
// Global modules
const Lang = imports.lang;
const Signals = imports.signals;
// Internal modules
const ExtensionUtils = imports.misc.extensionUtils;
const Me = ExtensionUtils.getCurrentExtension();
const Convenience = Me.imports.convenience;
// Schema keys
var SETTING_BEHAVIOR_MODE = "behavior-mode";
var SETTING_FOCUS_HIDDEN = "focus-hidden";
var SETTING_INITIAL_ZOOM = "initial-zoom";
var SETTING_INITIAL_LEFT_CROP = "initial-left-crop";
var SETTING_INITIAL_RIGHT_CROP = "initial-right-crop";
var SETTING_INITIAL_TOP_CROP = "initial-top-crop";
var SETTING_INITIAL_BOTTOM_CROP = "initial-bottom-crop";
var SETTING_INITIAL_CORNER = "initial-corner";
var SETTING_LAST_WINDOW_HASH = "last-window-hash";
var WindowCornerSettings = new Lang.Class({
Name: "WindowCornerPreview.settings",
_init: function() {
this._settings = Convenience.getSettings();
this._settings.connect("changed", Lang.bind(this, this._onChanged));
},
_onChanged: function(settings, key) {
// "my-property-name" => myPropertyName
const property = key.replace(/-[a-z]/g, function (az) {
return az.substr(1).toUpperCase();
});
this.emit("changed", property);
},
get focusHidden() {
return this._settings.get_boolean(SETTING_FOCUS_HIDDEN);
},
set focusHidden(value) {
this._settings.set_boolean(SETTING_FOCUS_HIDDEN, value);
},
get initialZoom() {
return this._settings.get_double(SETTING_INITIAL_ZOOM);
},
set initialZoom(value) {
this._settings.set_double(SETTING_INITIAL_ZOOM, value);
},
get initialLeftCrop() {
return this._settings.get_double(SETTING_INITIAL_LEFT_CROP);
},
set initialLeftCrop(value) {
this._settings.set_double(SETTING_INITIAL_LEFT_CROP, value);
},
get initialRightCrop() {
return this._settings.get_double(SETTING_INITIAL_RIGHT_CROP);
},
set initialRightCrop(value) {
this._settings.set_double(SETTING_INITIAL_RIGHT_CROP, value);
},
get initialTopCrop() {
return this._settings.get_double(SETTING_INITIAL_TOP_CROP);
},
set initialTopCrop(value) {
this._settings.set_double(SETTING_INITIAL_TOP_CROP, value);
},
get initialBottomCrop() {
return this._settings.get_double(SETTING_INITIAL_BOTTOM_CROP);
},
set initialBottomCrop(value) {
this._settings.set_double(SETTING_INITIAL_BOTTOM_CROP, value);
},
get initialCorner() {
return this._settings.get_enum(SETTING_INITIAL_CORNER);
},
set initialCorner(value) {
this._settings.set_enum(SETTING_INITIAL_CORNER, value);
},
get behaviorMode() {
return this._settings.get_string(SETTING_BEHAVIOR_MODE);
},
set behaviorMode(value) {
this._settings.set_string(SETTING_BEHAVIOR_MODE, value);
},
get lastWindowHash() {
return this._settings.get_string(SETTING_LAST_WINDOW_HASH);
},
set lastWindowHash(value) {
this._settings.set_string(SETTING_LAST_WINDOW_HASH, value);
}
});
Signals.addSignalMethods(WindowCornerSettings.prototype);