123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113 |
- "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);
|