2011-09-28 09:16:26 -04:00
|
|
|
// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2019-03-06 12:26:41 -05:00
|
|
|
const { Atspi, Clutter, GDesktopEnums,
|
2019-02-08 22:21:36 -05:00
|
|
|
Gio, GLib, GObject, Meta, Shell, St } = imports.gi;
|
2010-07-21 04:44:59 -04:00
|
|
|
const Signals = imports.signals;
|
|
|
|
|
2014-02-13 11:24:46 -05:00
|
|
|
const Background = imports.ui.background;
|
2013-09-04 13:53:36 -04:00
|
|
|
const FocusCaretTracker = imports.ui.focusCaretTracker;
|
2010-05-11 15:00:07 -04:00
|
|
|
const Main = imports.ui.main;
|
|
|
|
const MagnifierDBus = imports.ui.magnifierDBus;
|
2010-10-30 16:31:30 -04:00
|
|
|
const Params = imports.misc.params;
|
2012-08-30 15:19:32 -04:00
|
|
|
const PointerWatcher = imports.ui.pointerWatcher;
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2017-07-18 13:47:27 -04:00
|
|
|
var CROSSHAIRS_CLIP_SIZE = [100, 100];
|
|
|
|
var NO_CHANGE = 0.0;
|
2010-06-19 09:43:39 -04:00
|
|
|
|
2017-07-18 13:47:27 -04:00
|
|
|
var POINTER_REST_TIME = 1000; // milliseconds
|
2015-07-24 12:47:34 -04:00
|
|
|
|
2010-06-19 09:43:39 -04:00
|
|
|
// Settings
|
2011-02-17 10:05:22 -05:00
|
|
|
const MAGNIFIER_SCHEMA = 'org.gnome.desktop.a11y.magnifier';
|
2010-06-19 09:43:39 -04:00
|
|
|
const SCREEN_POSITION_KEY = 'screen-position';
|
|
|
|
const MAG_FACTOR_KEY = 'mag-factor';
|
2012-04-04 11:10:31 -04:00
|
|
|
const INVERT_LIGHTNESS_KEY = 'invert-lightness';
|
2012-06-01 08:36:47 -04:00
|
|
|
const COLOR_SATURATION_KEY = 'color-saturation';
|
2012-03-12 15:52:41 -04:00
|
|
|
const BRIGHT_RED_KEY = 'brightness-red';
|
|
|
|
const BRIGHT_GREEN_KEY = 'brightness-green';
|
|
|
|
const BRIGHT_BLUE_KEY = 'brightness-blue';
|
|
|
|
const CONTRAST_RED_KEY = 'contrast-red';
|
|
|
|
const CONTRAST_GREEN_KEY = 'contrast-green';
|
|
|
|
const CONTRAST_BLUE_KEY = 'contrast-blue';
|
2010-06-19 09:43:39 -04:00
|
|
|
const LENS_MODE_KEY = 'lens-mode';
|
|
|
|
const CLAMP_MODE_KEY = 'scroll-at-edges';
|
|
|
|
const MOUSE_TRACKING_KEY = 'mouse-tracking';
|
2013-09-04 13:53:36 -04:00
|
|
|
const FOCUS_TRACKING_KEY = 'focus-tracking';
|
|
|
|
const CARET_TRACKING_KEY = 'caret-tracking';
|
2010-06-19 09:43:39 -04:00
|
|
|
const SHOW_CROSS_HAIRS_KEY = 'show-cross-hairs';
|
|
|
|
const CROSS_HAIRS_THICKNESS_KEY = 'cross-hairs-thickness';
|
|
|
|
const CROSS_HAIRS_COLOR_KEY = 'cross-hairs-color';
|
|
|
|
const CROSS_HAIRS_OPACITY_KEY = 'cross-hairs-opacity';
|
|
|
|
const CROSS_HAIRS_LENGTH_KEY = 'cross-hairs-length';
|
|
|
|
const CROSS_HAIRS_CLIP_KEY = 'cross-hairs-clip';
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2019-01-29 08:46:33 -05:00
|
|
|
var MouseSpriteContent = GObject.registerClass({
|
2019-01-28 20:27:05 -05:00
|
|
|
Implements: [Clutter.Content],
|
2019-01-29 08:46:33 -05:00
|
|
|
}, class MouseSpriteContent extends GObject.Object {
|
|
|
|
_init() {
|
|
|
|
super._init();
|
|
|
|
this._texture = null;
|
|
|
|
}
|
|
|
|
|
2019-01-31 16:07:38 -05:00
|
|
|
vfunc_get_preferred_size() {
|
2019-01-29 08:46:33 -05:00
|
|
|
if (!this._texture)
|
2019-03-11 16:36:55 -04:00
|
|
|
return [false, 0, 0];
|
2019-01-29 08:46:33 -05:00
|
|
|
|
2019-03-11 16:36:55 -04:00
|
|
|
return [true, this._texture.get_width(), this._texture.get_height()];
|
2019-01-29 08:46:33 -05:00
|
|
|
}
|
|
|
|
|
2019-12-06 14:10:58 -05:00
|
|
|
vfunc_paint_content(actor, node, _paintContext) {
|
2019-01-29 08:46:33 -05:00
|
|
|
if (!this._texture)
|
|
|
|
return;
|
|
|
|
|
2019-03-11 16:39:29 -04:00
|
|
|
let color = Clutter.Color.get_static(Clutter.StaticColor.WHITE);
|
2019-03-11 17:30:39 -04:00
|
|
|
let [minFilter, magFilter] = actor.get_content_scaling_filters();
|
2019-01-29 08:46:33 -05:00
|
|
|
let textureNode = new Clutter.TextureNode(this._texture,
|
2019-03-11 17:30:39 -04:00
|
|
|
color, minFilter, magFilter);
|
2019-01-29 08:46:33 -05:00
|
|
|
textureNode.set_name('MouseSpriteContent');
|
|
|
|
node.add_child(textureNode);
|
|
|
|
|
|
|
|
textureNode.add_rectangle(actor.get_content_box());
|
|
|
|
}
|
|
|
|
|
|
|
|
get texture() {
|
|
|
|
return this._texture;
|
|
|
|
}
|
|
|
|
|
|
|
|
set texture(coglTexture) {
|
|
|
|
if (this._texture == coglTexture)
|
|
|
|
return;
|
|
|
|
|
2019-03-11 16:40:45 -04:00
|
|
|
let oldTexture = this._texture;
|
2019-01-29 08:46:33 -05:00
|
|
|
this._texture = coglTexture;
|
|
|
|
this.invalidate();
|
2019-03-11 16:40:45 -04:00
|
|
|
|
2019-03-11 17:09:08 -04:00
|
|
|
if (!oldTexture || !coglTexture ||
|
2019-03-11 16:40:45 -04:00
|
|
|
oldTexture.get_width() != coglTexture.get_width() ||
|
|
|
|
oldTexture.get_height() != coglTexture.get_height())
|
|
|
|
this.invalidate_size();
|
2019-01-29 08:46:33 -05:00
|
|
|
}
|
|
|
|
});
|
|
|
|
|
2017-10-30 21:19:44 -04:00
|
|
|
var Magnifier = class Magnifier {
|
|
|
|
constructor() {
|
2010-05-11 15:00:07 -04:00
|
|
|
// Magnifier is a manager of ZoomRegions.
|
|
|
|
this._zoomRegions = [];
|
|
|
|
|
|
|
|
// Create small clutter tree for the magnified mouse.
|
2018-01-03 02:55:38 -05:00
|
|
|
let cursorTracker = Meta.CursorTracker.get_for_display(global.display);
|
2019-01-29 08:46:33 -05:00
|
|
|
this._cursorTracker = cursorTracker;
|
|
|
|
|
|
|
|
this._mouseSprite = new Clutter.Actor({ request_mode: Clutter.RequestMode.CONTENT_SIZE });
|
|
|
|
this._mouseSprite.content = new MouseSpriteContent();
|
|
|
|
|
2012-08-30 20:35:17 -04:00
|
|
|
this._cursorRoot = new Clutter.Actor();
|
2010-05-11 15:00:07 -04:00
|
|
|
this._cursorRoot.add_actor(this._mouseSprite);
|
|
|
|
|
|
|
|
// Create the first ZoomRegion and initialize it according to the
|
2010-06-19 09:43:39 -04:00
|
|
|
// magnification settings.
|
2010-10-30 17:01:41 -04:00
|
|
|
|
2019-02-01 08:41:55 -05:00
|
|
|
[this.xMouse, this.yMouse] = global.get_pointer();
|
2010-10-30 17:01:41 -04:00
|
|
|
|
2010-05-11 15:00:07 -04:00
|
|
|
let aZoomRegion = new ZoomRegion(this, this._cursorRoot);
|
|
|
|
this._zoomRegions.push(aZoomRegion);
|
2019-03-12 17:41:18 -04:00
|
|
|
this._settingsInit(aZoomRegion);
|
2010-10-30 17:01:41 -04:00
|
|
|
aZoomRegion.scrollContentsTo(this.xMouse, this.yMouse);
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2019-03-12 17:41:18 -04:00
|
|
|
St.Settings.get().connect('notify::magnifier-active', () => {
|
|
|
|
this.setActive(St.Settings.get().magnifier_active);
|
|
|
|
});
|
|
|
|
|
2014-02-08 18:47:40 -05:00
|
|
|
// Export to dbus.
|
2019-08-19 15:38:51 -04:00
|
|
|
new MagnifierDBus.ShellMagnifier();
|
2019-03-12 17:41:18 -04:00
|
|
|
this.setActive(St.Settings.get().magnifier_active);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* showSystemCursor:
|
|
|
|
* Show the system mouse pointer.
|
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
showSystemCursor() {
|
2019-10-07 09:02:17 -04:00
|
|
|
const seat = Clutter.get_default_backend().get_default_seat();
|
|
|
|
|
|
|
|
if (seat.is_unfocus_inhibited())
|
|
|
|
seat.uninhibit_unfocus();
|
2013-08-14 10:59:39 -04:00
|
|
|
this._cursorTracker.set_pointer_visible(true);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* hideSystemCursor:
|
|
|
|
* Hide the system mouse pointer.
|
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
hideSystemCursor() {
|
2019-10-07 09:02:17 -04:00
|
|
|
const seat = Clutter.get_default_backend().get_default_seat();
|
|
|
|
|
|
|
|
if (!seat.is_unfocus_inhibited())
|
|
|
|
seat.inhibit_unfocus();
|
2013-08-14 10:59:39 -04:00
|
|
|
this._cursorTracker.set_pointer_visible(false);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* setActive:
|
|
|
|
* Show/hide all the zoom regions.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {bool} activate: Boolean to activate or de-activate the magnifier.
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setActive(activate) {
|
2014-02-13 09:11:07 -05:00
|
|
|
let isActive = this.isActive();
|
|
|
|
|
2019-02-04 06:30:53 -05:00
|
|
|
this._zoomRegions.forEach(zoomRegion => {
|
2010-05-11 15:00:07 -04:00
|
|
|
zoomRegion.setActive(activate);
|
|
|
|
});
|
|
|
|
|
2014-02-13 09:11:07 -05:00
|
|
|
if (isActive != activate) {
|
|
|
|
if (activate) {
|
2019-03-11 17:09:08 -04:00
|
|
|
this._updateMouseSprite();
|
|
|
|
this._cursorSpriteChangedId =
|
|
|
|
this._cursorTracker.connect('cursor-changed',
|
|
|
|
this._updateMouseSprite.bind(this));
|
2018-01-03 02:55:38 -05:00
|
|
|
Meta.disable_unredirect_for_display(global.display);
|
2014-02-13 09:11:07 -05:00
|
|
|
this.startTrackingMouse();
|
|
|
|
} else {
|
2019-03-11 17:09:08 -04:00
|
|
|
this._cursorTracker.disconnect(this._cursorSpriteChangedId);
|
|
|
|
this._mouseSprite.content.texture = null;
|
2018-01-03 02:55:38 -05:00
|
|
|
Meta.enable_unredirect_for_display(global.display);
|
2014-02-13 09:11:07 -05:00
|
|
|
this.stopTrackingMouse();
|
|
|
|
}
|
2014-01-28 15:04:59 -05:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
// Make sure system mouse pointer is shown when all zoom regions are
|
|
|
|
// invisible.
|
|
|
|
if (!activate)
|
2019-10-07 09:00:19 -04:00
|
|
|
this.showSystemCursor();
|
2010-07-21 04:44:59 -04:00
|
|
|
|
|
|
|
// Notify interested parties of this change
|
|
|
|
this.emit('active-changed', activate);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* isActive:
|
2019-10-17 12:41:52 -04:00
|
|
|
* @returns {bool} Whether the magnifier is active.
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
isActive() {
|
2010-05-11 15:00:07 -04:00
|
|
|
// Sufficient to check one ZoomRegion since Magnifier's active
|
|
|
|
// state applies to all of them.
|
|
|
|
if (this._zoomRegions.length == 0)
|
|
|
|
return false;
|
|
|
|
else
|
|
|
|
return this._zoomRegions[0].isActive();
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* startTrackingMouse:
|
|
|
|
* Turn on mouse tracking, if not already doing so.
|
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
startTrackingMouse() {
|
2018-05-10 06:13:49 -04:00
|
|
|
if (!this._pointerWatch) {
|
|
|
|
let interval = 1000 / Clutter.get_default_frame_rate();
|
|
|
|
this._pointerWatch = PointerWatcher.getPointerWatcher().addWatch(interval, this.scrollToMousePos.bind(this));
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* stopTrackingMouse:
|
|
|
|
* Turn off mouse tracking, if not already doing so.
|
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
stopTrackingMouse() {
|
2012-08-30 15:19:32 -04:00
|
|
|
if (this._pointerWatch)
|
|
|
|
this._pointerWatch.remove();
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2012-08-30 15:19:32 -04:00
|
|
|
this._pointerWatch = null;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* isTrackingMouse:
|
2019-10-17 12:41:52 -04:00
|
|
|
* @returns {bool} whether the magnifier is currently tracking the mouse
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
isTrackingMouse() {
|
2010-05-11 15:00:07 -04:00
|
|
|
return !!this._mouseTrackingId;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* scrollToMousePos:
|
|
|
|
* Position all zoom regions' ROI relative to the current location of the
|
|
|
|
* system pointer.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @returns {bool} true.
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
scrollToMousePos() {
|
2019-02-01 08:41:55 -05:00
|
|
|
let [xMouse, yMouse] = global.get_pointer();
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2010-10-30 17:01:41 -04:00
|
|
|
if (xMouse != this.xMouse || yMouse != this.yMouse) {
|
|
|
|
this.xMouse = xMouse;
|
|
|
|
this.yMouse = yMouse;
|
|
|
|
|
2010-05-11 15:00:07 -04:00
|
|
|
let sysMouseOverAny = false;
|
2019-02-04 06:30:53 -05:00
|
|
|
this._zoomRegions.forEach(zoomRegion => {
|
2010-05-11 15:00:07 -04:00
|
|
|
if (zoomRegion.scrollToMousePos())
|
|
|
|
sysMouseOverAny = true;
|
|
|
|
});
|
|
|
|
if (sysMouseOverAny)
|
|
|
|
this.hideSystemCursor();
|
|
|
|
else
|
|
|
|
this.showSystemCursor();
|
|
|
|
}
|
|
|
|
return true;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* createZoomRegion:
|
|
|
|
* Create a ZoomRegion instance with the given properties.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {number} xMagFactor:
|
|
|
|
* The power to set horizontal magnification of the ZoomRegion. A value
|
|
|
|
* of 1.0 means no magnification, a value of 2.0 doubles the size.
|
|
|
|
* @param {number} yMagFactor:
|
|
|
|
* The power to set the vertical magnification of the ZoomRegion.
|
|
|
|
* @param {{x: number, y: number, width: number, height: number}} roi:
|
|
|
|
* The reg Object that defines the region to magnify, given in
|
|
|
|
* unmagnified coordinates.
|
|
|
|
* @param {{x: number, y: number, width: number, height: number}} viewPort:
|
|
|
|
* Object that defines the position of the ZoomRegion on screen.
|
|
|
|
* @returns {ZoomRegion} the newly created ZoomRegion.
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
createZoomRegion(xMagFactor, yMagFactor, roi, viewPort) {
|
2010-05-11 15:00:07 -04:00
|
|
|
let zoomRegion = new ZoomRegion(this, this._cursorRoot);
|
|
|
|
zoomRegion.setViewPort(viewPort);
|
2010-10-30 16:31:30 -04:00
|
|
|
|
|
|
|
// We ignore the redundant width/height on the ROI
|
2019-08-19 15:18:54 -04:00
|
|
|
let fixedROI = Object.create(roi);
|
2010-10-30 16:31:30 -04:00
|
|
|
fixedROI.width = viewPort.width / xMagFactor;
|
|
|
|
fixedROI.height = viewPort.height / yMagFactor;
|
|
|
|
zoomRegion.setROI(fixedROI);
|
|
|
|
|
2010-05-11 15:00:07 -04:00
|
|
|
zoomRegion.addCrosshairs(this._crossHairs);
|
|
|
|
return zoomRegion;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* addZoomRegion:
|
|
|
|
* Append the given ZoomRegion to the list of currently defined ZoomRegions
|
|
|
|
* for this Magnifier instance.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {ZoomRegion} zoomRegion: The zoomRegion to add.
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
addZoomRegion(zoomRegion) {
|
2019-01-28 20:27:05 -05:00
|
|
|
if (zoomRegion) {
|
2010-05-11 15:00:07 -04:00
|
|
|
this._zoomRegions.push(zoomRegion);
|
|
|
|
if (!this.isTrackingMouse())
|
|
|
|
this.startTrackingMouse();
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* getZoomRegions:
|
|
|
|
* Return a list of ZoomRegion's for this Magnifier.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @returns {number[]} The Magnifier's zoom region list.
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
getZoomRegions() {
|
2010-05-11 15:00:07 -04:00
|
|
|
return this._zoomRegions;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* clearAllZoomRegions:
|
|
|
|
* Remove all the zoom regions from this Magnfier's ZoomRegion list.
|
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
clearAllZoomRegions() {
|
2010-10-30 16:31:30 -04:00
|
|
|
for (let i = 0; i < this._zoomRegions.length; i++)
|
2010-05-11 15:00:07 -04:00
|
|
|
this._zoomRegions[i].setActive(false);
|
|
|
|
|
|
|
|
this._zoomRegions.length = 0;
|
|
|
|
this.stopTrackingMouse();
|
|
|
|
this.showSystemCursor();
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* addCrosshairs:
|
|
|
|
* Add and show a cross hair centered on the magnified mouse.
|
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
addCrosshairs() {
|
2010-05-11 15:00:07 -04:00
|
|
|
if (!this._crossHairs)
|
|
|
|
this._crossHairs = new Crosshairs();
|
|
|
|
|
2010-06-19 09:43:39 -04:00
|
|
|
let thickness = this._settings.get_int(CROSS_HAIRS_THICKNESS_KEY);
|
|
|
|
let color = this._settings.get_string(CROSS_HAIRS_COLOR_KEY);
|
2011-02-12 10:24:18 -05:00
|
|
|
let opacity = this._settings.get_double(CROSS_HAIRS_OPACITY_KEY);
|
2010-06-19 09:43:39 -04:00
|
|
|
let length = this._settings.get_int(CROSS_HAIRS_LENGTH_KEY);
|
|
|
|
let clip = this._settings.get_boolean(CROSS_HAIRS_CLIP_KEY);
|
|
|
|
|
2010-05-11 15:00:07 -04:00
|
|
|
this.setCrosshairsThickness(thickness);
|
|
|
|
this.setCrosshairsColor(color);
|
|
|
|
this.setCrosshairsOpacity(opacity);
|
|
|
|
this.setCrosshairsLength(length);
|
|
|
|
this.setCrosshairsClip(clip);
|
|
|
|
|
|
|
|
let theCrossHairs = this._crossHairs;
|
2019-08-19 13:55:49 -04:00
|
|
|
this._zoomRegions.forEach(zoomRegion => {
|
2010-05-11 15:00:07 -04:00
|
|
|
zoomRegion.addCrosshairs(theCrossHairs);
|
|
|
|
});
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* setCrosshairsVisible:
|
|
|
|
* Show or hide the cross hair.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {bool} visible: Flag that indicates show (true) or hide (false).
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setCrosshairsVisible(visible) {
|
2010-05-11 15:00:07 -04:00
|
|
|
if (visible) {
|
|
|
|
if (!this._crossHairs)
|
2010-06-19 09:43:39 -04:00
|
|
|
this.addCrosshairs();
|
2010-05-11 15:00:07 -04:00
|
|
|
this._crossHairs.show();
|
2019-01-29 16:02:57 -05:00
|
|
|
} else {
|
2019-08-19 22:24:37 -04:00
|
|
|
// eslint-disable-next-line no-lonely-if
|
2010-05-11 15:00:07 -04:00
|
|
|
if (this._crossHairs)
|
|
|
|
this._crossHairs.hide();
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* setCrosshairsColor:
|
|
|
|
* Set the color of the crosshairs for all ZoomRegions.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {string} color: The color as a string, e.g. '#ff0000ff' or 'red'.
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setCrosshairsColor(color) {
|
2010-05-11 15:00:07 -04:00
|
|
|
if (this._crossHairs) {
|
2019-01-31 09:08:00 -05:00
|
|
|
let [res_, clutterColor] = Clutter.Color.from_string(color);
|
2010-05-11 15:00:07 -04:00
|
|
|
this._crossHairs.setColor(clutterColor);
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* getCrosshairsColor:
|
|
|
|
* Get the color of the crosshairs.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @returns {string} The color as a string, e.g. '#0000ffff' or 'blue'.
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
getCrosshairsColor() {
|
2010-05-11 15:00:07 -04:00
|
|
|
if (this._crossHairs) {
|
|
|
|
let clutterColor = this._crossHairs.getColor();
|
|
|
|
return clutterColor.to_string();
|
2019-01-29 16:02:57 -05:00
|
|
|
} else {
|
2010-05-13 15:46:04 -04:00
|
|
|
return '#00000000';
|
2019-01-29 16:02:57 -05:00
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* setCrosshairsThickness:
|
|
|
|
* Set the crosshairs thickness for all ZoomRegions.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {number} thickness: The width of the vertical and
|
|
|
|
* horizontal lines of the crosshairs.
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setCrosshairsThickness(thickness) {
|
2010-05-11 15:00:07 -04:00
|
|
|
if (this._crossHairs)
|
|
|
|
this._crossHairs.setThickness(thickness);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* getCrosshairsThickness:
|
|
|
|
* Get the crosshairs thickness.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @returns {number} The width of the vertical and horizontal
|
|
|
|
* lines of the crosshairs.
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
getCrosshairsThickness() {
|
2010-05-11 15:00:07 -04:00
|
|
|
if (this._crossHairs)
|
|
|
|
return this._crossHairs.getThickness();
|
|
|
|
else
|
|
|
|
return 0;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* setCrosshairsOpacity:
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {number} opacity: Value between 0.0 (transparent)
|
|
|
|
* and 1.0 (fully opaque).
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setCrosshairsOpacity(opacity) {
|
2010-05-11 15:00:07 -04:00
|
|
|
if (this._crossHairs)
|
2011-02-12 10:24:18 -05:00
|
|
|
this._crossHairs.setOpacity(opacity * 255);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* getCrosshairsOpacity:
|
2019-10-17 12:41:52 -04:00
|
|
|
* @returns {number} Value between 0.0 (transparent) and 1.0 (fully opaque).
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
getCrosshairsOpacity() {
|
2010-05-11 15:00:07 -04:00
|
|
|
if (this._crossHairs)
|
2011-02-12 10:24:18 -05:00
|
|
|
return this._crossHairs.getOpacity() / 255.0;
|
2010-05-11 15:00:07 -04:00
|
|
|
else
|
2011-02-12 10:24:18 -05:00
|
|
|
return 0.0;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* setCrosshairsLength:
|
|
|
|
* Set the crosshairs length for all ZoomRegions.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {number} length: The length of the vertical and horizontal
|
|
|
|
* lines making up the crosshairs.
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setCrosshairsLength(length) {
|
2020-02-06 04:31:17 -05:00
|
|
|
if (this._crossHairs) {
|
|
|
|
let scaleFactor = St.ThemeContext.get_for_stage(global.stage).scale_factor;
|
|
|
|
this._crossHairs.setLength(length / scaleFactor);
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* getCrosshairsLength:
|
|
|
|
* Get the crosshairs length.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @returns {number} The length of the vertical and horizontal
|
|
|
|
* lines making up the crosshairs.
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
getCrosshairsLength() {
|
2010-05-11 15:00:07 -04:00
|
|
|
if (this._crossHairs)
|
|
|
|
return this._crossHairs.getLength();
|
|
|
|
else
|
|
|
|
return 0;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* setCrosshairsClip:
|
|
|
|
* Set whether the crosshairs are clipped at their intersection.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {bool} clip: Flag to indicate whether to clip the crosshairs.
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setCrosshairsClip(clip) {
|
2019-08-19 22:10:46 -04:00
|
|
|
if (!this._crossHairs)
|
|
|
|
return;
|
|
|
|
|
|
|
|
// Setting no clipping on crosshairs means a zero sized clip rectangle.
|
|
|
|
this._crossHairs.setClip(clip ? CROSSHAIRS_CLIP_SIZE : [0, 0]);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* getCrosshairsClip:
|
|
|
|
* Get whether the crosshairs are clipped by the mouse image.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @returns {bool} Whether the crosshairs are clipped.
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2019-01-29 14:36:54 -05:00
|
|
|
getCrosshairsClip() {
|
2010-05-11 15:00:07 -04:00
|
|
|
if (this._crossHairs) {
|
|
|
|
let [clipWidth, clipHeight] = this._crossHairs.getClip();
|
2019-08-19 15:38:51 -04:00
|
|
|
return clipWidth > 0 && clipHeight > 0;
|
2019-01-29 16:02:57 -05:00
|
|
|
} else {
|
2010-05-11 15:00:07 -04:00
|
|
|
return false;
|
2019-01-29 16:02:57 -05:00
|
|
|
}
|
2019-01-29 14:36:54 -05:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2019-08-19 13:55:49 -04:00
|
|
|
// Private methods //
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_updateMouseSprite() {
|
2019-01-29 08:46:33 -05:00
|
|
|
this._updateSpriteTexture();
|
2013-08-13 08:22:22 -04:00
|
|
|
let [xHot, yHot] = this._cursorTracker.get_hot();
|
2010-05-11 15:00:07 -04:00
|
|
|
this._mouseSprite.set_anchor_point(xHot, yHot);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2019-01-29 08:46:33 -05:00
|
|
|
_updateSpriteTexture() {
|
|
|
|
let sprite = this._cursorTracker.get_sprite();
|
|
|
|
|
|
|
|
if (sprite) {
|
|
|
|
this._mouseSprite.content.texture = sprite;
|
|
|
|
this._mouseSprite.show();
|
|
|
|
} else {
|
|
|
|
this._mouseSprite.hide();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_settingsInit(zoomRegion) {
|
2014-06-24 15:17:09 -04:00
|
|
|
this._settings = new Gio.Settings({ schema_id: MAGNIFIER_SCHEMA });
|
2010-06-19 09:43:39 -04:00
|
|
|
|
2019-01-29 19:18:24 -05:00
|
|
|
this._settings.connect(`changed::${SCREEN_POSITION_KEY}`,
|
2017-12-01 19:27:35 -05:00
|
|
|
this._updateScreenPosition.bind(this));
|
2019-01-29 19:18:24 -05:00
|
|
|
this._settings.connect(`changed::${MAG_FACTOR_KEY}`,
|
2017-12-01 19:27:35 -05:00
|
|
|
this._updateMagFactor.bind(this));
|
2019-01-29 19:18:24 -05:00
|
|
|
this._settings.connect(`changed::${LENS_MODE_KEY}`,
|
2017-12-01 19:27:35 -05:00
|
|
|
this._updateLensMode.bind(this));
|
2019-01-29 19:18:24 -05:00
|
|
|
this._settings.connect(`changed::${CLAMP_MODE_KEY}`,
|
2017-12-01 19:27:35 -05:00
|
|
|
this._updateClampMode.bind(this));
|
2019-01-29 19:18:24 -05:00
|
|
|
this._settings.connect(`changed::${MOUSE_TRACKING_KEY}`,
|
2017-12-01 19:27:35 -05:00
|
|
|
this._updateMouseTrackingMode.bind(this));
|
2019-01-29 19:18:24 -05:00
|
|
|
this._settings.connect(`changed::${FOCUS_TRACKING_KEY}`,
|
2017-12-01 19:27:35 -05:00
|
|
|
this._updateFocusTrackingMode.bind(this));
|
2019-01-29 19:18:24 -05:00
|
|
|
this._settings.connect(`changed::${CARET_TRACKING_KEY}`,
|
2017-12-01 19:27:35 -05:00
|
|
|
this._updateCaretTrackingMode.bind(this));
|
2010-06-19 09:43:39 -04:00
|
|
|
|
2019-01-29 19:18:24 -05:00
|
|
|
this._settings.connect(`changed::${INVERT_LIGHTNESS_KEY}`,
|
2017-12-01 19:27:35 -05:00
|
|
|
this._updateInvertLightness.bind(this));
|
2019-01-29 19:18:24 -05:00
|
|
|
this._settings.connect(`changed::${COLOR_SATURATION_KEY}`,
|
2017-12-01 19:27:35 -05:00
|
|
|
this._updateColorSaturation.bind(this));
|
2012-04-04 11:10:31 -04:00
|
|
|
|
2019-01-29 19:18:24 -05:00
|
|
|
this._settings.connect(`changed::${BRIGHT_RED_KEY}`,
|
2017-12-01 19:27:35 -05:00
|
|
|
this._updateBrightness.bind(this));
|
2019-01-29 19:18:24 -05:00
|
|
|
this._settings.connect(`changed::${BRIGHT_GREEN_KEY}`,
|
2017-12-01 19:27:35 -05:00
|
|
|
this._updateBrightness.bind(this));
|
2019-01-29 19:18:24 -05:00
|
|
|
this._settings.connect(`changed::${BRIGHT_BLUE_KEY}`,
|
2017-12-01 19:27:35 -05:00
|
|
|
this._updateBrightness.bind(this));
|
2012-03-12 15:52:41 -04:00
|
|
|
|
2019-01-29 19:18:24 -05:00
|
|
|
this._settings.connect(`changed::${CONTRAST_RED_KEY}`,
|
2017-12-01 19:27:35 -05:00
|
|
|
this._updateContrast.bind(this));
|
2019-01-29 19:18:24 -05:00
|
|
|
this._settings.connect(`changed::${CONTRAST_GREEN_KEY}`,
|
2017-12-01 19:27:35 -05:00
|
|
|
this._updateContrast.bind(this));
|
2019-01-29 19:18:24 -05:00
|
|
|
this._settings.connect(`changed::${CONTRAST_BLUE_KEY}`,
|
2017-12-01 19:27:35 -05:00
|
|
|
this._updateContrast.bind(this));
|
2012-03-12 15:52:41 -04:00
|
|
|
|
2019-01-29 19:18:24 -05:00
|
|
|
this._settings.connect(`changed::${SHOW_CROSS_HAIRS_KEY}`, () => {
|
2010-06-19 09:43:39 -04:00
|
|
|
this.setCrosshairsVisible(this._settings.get_boolean(SHOW_CROSS_HAIRS_KEY));
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
2010-06-19 09:43:39 -04:00
|
|
|
|
2019-01-29 19:18:24 -05:00
|
|
|
this._settings.connect(`changed::${CROSS_HAIRS_THICKNESS_KEY}`, () => {
|
2010-06-19 09:43:39 -04:00
|
|
|
this.setCrosshairsThickness(this._settings.get_int(CROSS_HAIRS_THICKNESS_KEY));
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
2010-06-19 09:43:39 -04:00
|
|
|
|
2019-01-29 19:18:24 -05:00
|
|
|
this._settings.connect(`changed::${CROSS_HAIRS_COLOR_KEY}`, () => {
|
2010-06-19 09:43:39 -04:00
|
|
|
this.setCrosshairsColor(this._settings.get_string(CROSS_HAIRS_COLOR_KEY));
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
2010-06-19 09:43:39 -04:00
|
|
|
|
2019-01-29 19:18:24 -05:00
|
|
|
this._settings.connect(`changed::${CROSS_HAIRS_OPACITY_KEY}`, () => {
|
2011-02-12 10:24:18 -05:00
|
|
|
this.setCrosshairsOpacity(this._settings.get_double(CROSS_HAIRS_OPACITY_KEY));
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
2010-06-19 09:43:39 -04:00
|
|
|
|
2019-01-29 19:18:24 -05:00
|
|
|
this._settings.connect(`changed::${CROSS_HAIRS_LENGTH_KEY}`, () => {
|
2010-06-19 09:43:39 -04:00
|
|
|
this.setCrosshairsLength(this._settings.get_int(CROSS_HAIRS_LENGTH_KEY));
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
2010-06-19 09:43:39 -04:00
|
|
|
|
2019-01-29 19:18:24 -05:00
|
|
|
this._settings.connect(`changed::${CROSS_HAIRS_CLIP_KEY}`, () => {
|
2010-06-19 09:43:39 -04:00
|
|
|
this.setCrosshairsClip(this._settings.get_boolean(CROSS_HAIRS_CLIP_KEY));
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
2015-03-20 15:41:01 -04:00
|
|
|
|
|
|
|
if (zoomRegion) {
|
|
|
|
// Mag factor is accurate to two decimal places.
|
|
|
|
let aPref = parseFloat(this._settings.get_double(MAG_FACTOR_KEY).toFixed(2));
|
|
|
|
if (aPref != 0.0)
|
|
|
|
zoomRegion.setMagFactor(aPref, aPref);
|
|
|
|
|
|
|
|
aPref = this._settings.get_enum(SCREEN_POSITION_KEY);
|
|
|
|
if (aPref)
|
|
|
|
zoomRegion.setScreenPosition(aPref);
|
|
|
|
|
|
|
|
zoomRegion.setLensMode(this._settings.get_boolean(LENS_MODE_KEY));
|
|
|
|
zoomRegion.setClampScrollingAtEdges(!this._settings.get_boolean(CLAMP_MODE_KEY));
|
|
|
|
|
|
|
|
aPref = this._settings.get_enum(MOUSE_TRACKING_KEY);
|
|
|
|
if (aPref)
|
|
|
|
zoomRegion.setMouseTrackingMode(aPref);
|
|
|
|
|
|
|
|
aPref = this._settings.get_enum(FOCUS_TRACKING_KEY);
|
|
|
|
if (aPref)
|
|
|
|
zoomRegion.setFocusTrackingMode(aPref);
|
|
|
|
|
|
|
|
aPref = this._settings.get_enum(CARET_TRACKING_KEY);
|
|
|
|
if (aPref)
|
|
|
|
zoomRegion.setCaretTrackingMode(aPref);
|
|
|
|
|
|
|
|
aPref = this._settings.get_boolean(INVERT_LIGHTNESS_KEY);
|
|
|
|
if (aPref)
|
|
|
|
zoomRegion.setInvertLightness(aPref);
|
|
|
|
|
|
|
|
aPref = this._settings.get_double(COLOR_SATURATION_KEY);
|
|
|
|
if (aPref)
|
|
|
|
zoomRegion.setColorSaturation(aPref);
|
|
|
|
|
|
|
|
let bc = {};
|
|
|
|
bc.r = this._settings.get_double(BRIGHT_RED_KEY);
|
|
|
|
bc.g = this._settings.get_double(BRIGHT_GREEN_KEY);
|
|
|
|
bc.b = this._settings.get_double(BRIGHT_BLUE_KEY);
|
|
|
|
zoomRegion.setBrightness(bc);
|
|
|
|
|
|
|
|
bc.r = this._settings.get_double(CONTRAST_RED_KEY);
|
|
|
|
bc.g = this._settings.get_double(CONTRAST_GREEN_KEY);
|
|
|
|
bc.b = this._settings.get_double(CONTRAST_BLUE_KEY);
|
|
|
|
zoomRegion.setContrast(bc);
|
|
|
|
}
|
|
|
|
|
|
|
|
let showCrosshairs = this._settings.get_boolean(SHOW_CROSS_HAIRS_KEY);
|
|
|
|
this.addCrosshairs();
|
|
|
|
this.setCrosshairsVisible(showCrosshairs);
|
2019-01-29 14:36:54 -05:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_updateScreenPosition() {
|
2010-05-11 15:00:07 -04:00
|
|
|
// Applies only to the first zoom region.
|
|
|
|
if (this._zoomRegions.length) {
|
2010-06-19 09:43:39 -04:00
|
|
|
let position = this._settings.get_enum(SCREEN_POSITION_KEY);
|
2010-05-11 15:00:07 -04:00
|
|
|
this._zoomRegions[0].setScreenPosition(position);
|
2011-10-19 16:47:04 -04:00
|
|
|
if (position != GDesktopEnums.MagnifierScreenPosition.FULL_SCREEN)
|
2010-05-11 15:00:07 -04:00
|
|
|
this._updateLensMode();
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_updateMagFactor() {
|
2010-05-11 15:00:07 -04:00
|
|
|
// Applies only to the first zoom region.
|
|
|
|
if (this._zoomRegions.length) {
|
|
|
|
// Mag factor is accurate to two decimal places.
|
2010-06-19 09:43:39 -04:00
|
|
|
let magFactor = parseFloat(this._settings.get_double(MAG_FACTOR_KEY).toFixed(2));
|
2010-05-11 15:00:07 -04:00
|
|
|
this._zoomRegions[0].setMagFactor(magFactor, magFactor);
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_updateLensMode() {
|
2010-05-11 15:00:07 -04:00
|
|
|
// Applies only to the first zoom region.
|
2019-08-19 20:51:42 -04:00
|
|
|
if (this._zoomRegions.length)
|
2010-06-19 09:43:39 -04:00
|
|
|
this._zoomRegions[0].setLensMode(this._settings.get_boolean(LENS_MODE_KEY));
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_updateClampMode() {
|
2010-05-11 15:00:07 -04:00
|
|
|
// Applies only to the first zoom region.
|
|
|
|
if (this._zoomRegions.length) {
|
|
|
|
this._zoomRegions[0].setClampScrollingAtEdges(
|
2020-04-03 19:52:29 -04:00
|
|
|
!this._settings.get_boolean(CLAMP_MODE_KEY));
|
2010-05-11 15:00:07 -04:00
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_updateMouseTrackingMode() {
|
2010-05-11 15:00:07 -04:00
|
|
|
// Applies only to the first zoom region.
|
|
|
|
if (this._zoomRegions.length) {
|
|
|
|
this._zoomRegions[0].setMouseTrackingMode(
|
2020-04-03 19:52:29 -04:00
|
|
|
this._settings.get_enum(MOUSE_TRACKING_KEY));
|
2010-05-11 15:00:07 -04:00
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2012-03-12 15:52:41 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_updateFocusTrackingMode() {
|
2013-09-04 13:53:36 -04:00
|
|
|
// Applies only to the first zoom region.
|
|
|
|
if (this._zoomRegions.length) {
|
|
|
|
this._zoomRegions[0].setFocusTrackingMode(
|
2020-04-03 19:52:29 -04:00
|
|
|
this._settings.get_enum(FOCUS_TRACKING_KEY));
|
2013-09-04 13:53:36 -04:00
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2013-09-04 13:53:36 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_updateCaretTrackingMode() {
|
2013-09-04 13:53:36 -04:00
|
|
|
// Applies only to the first zoom region.
|
|
|
|
if (this._zoomRegions.length) {
|
|
|
|
this._zoomRegions[0].setCaretTrackingMode(
|
2020-04-03 19:52:29 -04:00
|
|
|
this._settings.get_enum(CARET_TRACKING_KEY));
|
2013-09-04 13:53:36 -04:00
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2013-09-04 13:53:36 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_updateInvertLightness() {
|
2012-04-04 11:10:31 -04:00
|
|
|
// Applies only to the first zoom region.
|
|
|
|
if (this._zoomRegions.length) {
|
|
|
|
this._zoomRegions[0].setInvertLightness(
|
2020-04-03 19:52:29 -04:00
|
|
|
this._settings.get_boolean(INVERT_LIGHTNESS_KEY));
|
2012-04-04 11:10:31 -04:00
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2012-04-04 11:10:31 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_updateColorSaturation() {
|
2012-06-01 08:36:47 -04:00
|
|
|
// Applies only to the first zoom region.
|
|
|
|
if (this._zoomRegions.length) {
|
|
|
|
this._zoomRegions[0].setColorSaturation(
|
2020-04-03 19:52:29 -04:00
|
|
|
this._settings.get_double(COLOR_SATURATION_KEY));
|
2012-06-01 08:36:47 -04:00
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2012-06-01 08:36:47 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_updateBrightness() {
|
2012-03-12 15:52:41 -04:00
|
|
|
// Applies only to the first zoom region.
|
|
|
|
if (this._zoomRegions.length) {
|
|
|
|
let brightness = {};
|
|
|
|
brightness.r = this._settings.get_double(BRIGHT_RED_KEY);
|
|
|
|
brightness.g = this._settings.get_double(BRIGHT_GREEN_KEY);
|
|
|
|
brightness.b = this._settings.get_double(BRIGHT_BLUE_KEY);
|
|
|
|
this._zoomRegions[0].setBrightness(brightness);
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2012-03-12 15:52:41 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_updateContrast() {
|
2012-03-12 15:52:41 -04:00
|
|
|
// Applies only to the first zoom region.
|
|
|
|
if (this._zoomRegions.length) {
|
|
|
|
let contrast = {};
|
|
|
|
contrast.r = this._settings.get_double(CONTRAST_RED_KEY);
|
|
|
|
contrast.g = this._settings.get_double(CONTRAST_GREEN_KEY);
|
|
|
|
contrast.b = this._settings.get_double(CONTRAST_BLUE_KEY);
|
|
|
|
this._zoomRegions[0].setContrast(contrast);
|
|
|
|
}
|
2013-09-04 13:53:36 -04:00
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
};
|
2010-07-21 04:44:59 -04:00
|
|
|
Signals.addSignalMethods(Magnifier.prototype);
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2017-10-30 21:19:44 -04:00
|
|
|
var ZoomRegion = class ZoomRegion {
|
|
|
|
constructor(magnifier, mouseSourceActor) {
|
2010-05-11 15:00:07 -04:00
|
|
|
this._magnifier = magnifier;
|
2013-09-04 13:53:36 -04:00
|
|
|
this._focusCaretTracker = new FocusCaretTracker.FocusCaretTracker();
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2011-10-19 16:47:04 -04:00
|
|
|
this._mouseTrackingMode = GDesktopEnums.MagnifierMouseTrackingMode.NONE;
|
2013-09-04 13:53:36 -04:00
|
|
|
this._focusTrackingMode = GDesktopEnums.MagnifierFocusTrackingMode.NONE;
|
|
|
|
this._caretTrackingMode = GDesktopEnums.MagnifierCaretTrackingMode.NONE;
|
2010-10-30 16:31:30 -04:00
|
|
|
this._clampScrollingAtEdges = false;
|
|
|
|
this._lensMode = false;
|
2011-10-19 16:47:04 -04:00
|
|
|
this._screenPosition = GDesktopEnums.MagnifierScreenPosition.FULL_SCREEN;
|
2012-04-04 11:10:31 -04:00
|
|
|
this._invertLightness = false;
|
2012-06-01 08:36:47 -04:00
|
|
|
this._colorSaturation = 1.0;
|
2012-03-12 15:52:41 -04:00
|
|
|
this._brightness = { r: NO_CHANGE, g: NO_CHANGE, b: NO_CHANGE };
|
|
|
|
this._contrast = { r: NO_CHANGE, g: NO_CHANGE, b: NO_CHANGE };
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2010-10-30 16:31:30 -04:00
|
|
|
this._magView = null;
|
2012-01-25 23:34:45 -05:00
|
|
|
this._background = null;
|
2010-10-30 16:31:30 -04:00
|
|
|
this._uiGroupClone = null;
|
|
|
|
this._mouseSourceActor = mouseSourceActor;
|
|
|
|
this._mouseActor = null;
|
2010-05-11 15:00:07 -04:00
|
|
|
this._crossHairs = null;
|
2010-10-30 16:31:30 -04:00
|
|
|
this._crossHairsActor = null;
|
|
|
|
|
|
|
|
this._viewPortX = 0;
|
|
|
|
this._viewPortY = 0;
|
|
|
|
this._viewPortWidth = global.screen_width;
|
2012-01-25 23:34:45 -05:00
|
|
|
this._viewPortHeight = global.screen_height;
|
2010-10-30 16:31:30 -04:00
|
|
|
this._xCenter = this._viewPortWidth / 2;
|
|
|
|
this._yCenter = this._viewPortHeight / 2;
|
|
|
|
this._xMagFactor = 1;
|
|
|
|
this._yMagFactor = 1;
|
|
|
|
this._followingCursor = false;
|
2013-09-04 13:53:36 -04:00
|
|
|
this._xFocus = 0;
|
|
|
|
this._yFocus = 0;
|
|
|
|
this._xCaret = 0;
|
|
|
|
this._yCaret = 0;
|
2012-01-25 23:34:45 -05:00
|
|
|
|
2020-02-05 10:49:34 -05:00
|
|
|
this._pointerIdleMonitor = Meta.IdleMonitor.get_core();
|
2015-07-24 12:47:34 -04:00
|
|
|
this._scrollContentsTimerId = 0;
|
2019-03-27 17:57:33 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
_connectSignals() {
|
|
|
|
if (this._signalConnections)
|
|
|
|
return;
|
2015-07-24 12:47:34 -04:00
|
|
|
|
2019-03-27 17:57:33 -04:00
|
|
|
this._signalConnections = [];
|
|
|
|
let id = Main.layoutManager.connect('monitors-changed',
|
|
|
|
this._monitorsChanged.bind(this));
|
|
|
|
this._signalConnections.push([Main.layoutManager, id]);
|
|
|
|
|
|
|
|
id = this._focusCaretTracker.connect('caret-moved', this._updateCaret.bind(this));
|
|
|
|
this._signalConnections.push([this._focusCaretTracker, id]);
|
|
|
|
|
|
|
|
id = this._focusCaretTracker.connect('focus-changed', this._updateFocus.bind(this));
|
|
|
|
this._signalConnections.push([this._focusCaretTracker, id]);
|
|
|
|
}
|
|
|
|
|
|
|
|
_disconnectSignals() {
|
|
|
|
for (let [obj, id] of this._signalConnections)
|
|
|
|
obj.disconnect(id);
|
|
|
|
|
|
|
|
delete this._signalConnections;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2013-09-04 13:53:36 -04:00
|
|
|
|
2019-03-27 17:16:26 -04:00
|
|
|
_updateScreenPosition() {
|
2019-08-19 20:51:42 -04:00
|
|
|
if (this._screenPosition == GDesktopEnums.MagnifierScreenPosition.NONE) {
|
2019-03-27 17:16:26 -04:00
|
|
|
this._setViewPort({
|
|
|
|
x: this._viewPortX,
|
|
|
|
y: this._viewPortY,
|
|
|
|
width: this._viewPortWidth,
|
2019-08-20 17:43:54 -04:00
|
|
|
height: this._viewPortHeight,
|
2019-03-27 17:16:26 -04:00
|
|
|
});
|
2019-08-19 20:51:42 -04:00
|
|
|
} else {
|
2019-03-27 17:16:26 -04:00
|
|
|
this.setScreenPosition(this._screenPosition);
|
2019-08-19 20:51:42 -04:00
|
|
|
}
|
2019-03-27 17:16:26 -04:00
|
|
|
}
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_updateFocus(caller, event) {
|
2013-09-04 13:53:36 -04:00
|
|
|
let component = event.source.get_component_iface();
|
|
|
|
if (!component || event.detail1 != 1)
|
|
|
|
return;
|
2014-02-13 10:12:59 -05:00
|
|
|
let extents;
|
|
|
|
try {
|
|
|
|
extents = component.get_extents(Atspi.CoordType.SCREEN);
|
2019-01-28 20:26:39 -05:00
|
|
|
} catch (e) {
|
2019-01-29 19:18:24 -05:00
|
|
|
log(`Failed to read extents of focused component: ${e.message}`);
|
2014-02-13 10:12:59 -05:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2020-02-06 04:59:20 -05:00
|
|
|
let scaleFactor = St.ThemeContext.get_for_stage(global.stage).scale_factor;
|
|
|
|
let [xFocus, yFocus] = [(extents.x + (extents.width / 2)) * scaleFactor,
|
|
|
|
(extents.y + (extents.height / 2)) * scaleFactor];
|
2020-02-06 04:56:44 -05:00
|
|
|
|
|
|
|
if (this._xFocus !== xFocus || this._yFocus !== yFocus) {
|
|
|
|
[this._xFocus, this._yFocus] = [xFocus, yFocus];
|
|
|
|
this._centerFromFocusPosition();
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2013-09-04 13:53:36 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_updateCaret(caller, event) {
|
2013-09-04 13:53:36 -04:00
|
|
|
let text = event.source.get_text_iface();
|
|
|
|
if (!text)
|
|
|
|
return;
|
2014-02-13 10:12:59 -05:00
|
|
|
let extents;
|
|
|
|
try {
|
|
|
|
extents = text.get_character_extents(text.get_caret_offset(), 0);
|
2019-01-28 20:26:39 -05:00
|
|
|
} catch (e) {
|
2019-01-29 19:18:24 -05:00
|
|
|
log(`Failed to read extents of text caret: ${e.message}`);
|
2014-02-13 10:12:59 -05:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2020-02-06 04:59:20 -05:00
|
|
|
let scaleFactor = St.ThemeContext.get_for_stage(global.stage).scale_factor;
|
|
|
|
let [xCaret, yCaret] = [extents.x * scaleFactor, extents.y * scaleFactor];
|
2020-02-06 04:56:44 -05:00
|
|
|
|
|
|
|
if (this._xCaret !== xCaret || this._yCaret !== yCaret) {
|
|
|
|
[this._xCaret, this._yCaret] = [xCaret, yCaret];
|
|
|
|
this._centerFromCaretPosition();
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* setActive:
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {bool} activate: Boolean to show/hide the ZoomRegion.
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setActive(activate) {
|
2013-09-13 05:56:54 -04:00
|
|
|
if (activate == this.isActive())
|
|
|
|
return;
|
|
|
|
|
|
|
|
if (activate) {
|
2010-10-30 16:31:30 -04:00
|
|
|
this._createActors();
|
|
|
|
if (this._isMouseOverRegion())
|
2010-05-11 15:00:07 -04:00
|
|
|
this._magnifier.hideSystemCursor();
|
2019-03-27 17:16:26 -04:00
|
|
|
this._updateScreenPosition();
|
2010-10-30 16:31:30 -04:00
|
|
|
this._updateMagViewGeometry();
|
|
|
|
this._updateCloneGeometry();
|
|
|
|
this._updateMousePosition();
|
2019-03-27 17:57:33 -04:00
|
|
|
this._connectSignals();
|
2013-09-13 05:56:54 -04:00
|
|
|
} else {
|
2019-03-27 17:57:33 -04:00
|
|
|
this._disconnectSignals();
|
2010-10-30 16:31:30 -04:00
|
|
|
this._destroyActors();
|
2010-05-11 15:00:07 -04:00
|
|
|
}
|
2014-02-13 10:25:24 -05:00
|
|
|
|
|
|
|
this._syncCaretTracking();
|
|
|
|
this._syncFocusTracking();
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* isActive:
|
2019-10-17 12:41:52 -04:00
|
|
|
* @returns {bool} Whether this ZoomRegion is active
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
isActive() {
|
2010-10-30 16:31:30 -04:00
|
|
|
return this._magView != null;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* setMagFactor:
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {number} xMagFactor: The power to set the horizontal
|
|
|
|
* magnification factor to of the magnified view. A value of 1.0
|
|
|
|
* means no magnification. A value of 2.0 doubles the size.
|
|
|
|
* @param {number} yMagFactor: The power to set the vertical
|
|
|
|
* magnification factor to of the magnified view.
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setMagFactor(xMagFactor, yMagFactor) {
|
2019-08-19 15:06:04 -04:00
|
|
|
this._changeROI({ xMagFactor,
|
|
|
|
yMagFactor,
|
2020-02-06 08:21:14 -05:00
|
|
|
redoCursorTracking: this._followingCursor,
|
|
|
|
animate: true });
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* getMagFactor:
|
2019-10-17 12:41:52 -04:00
|
|
|
* @returns {number[]} an array, [xMagFactor, yMagFactor], containing
|
|
|
|
* the horizontal and vertical magnification powers. A value of
|
|
|
|
* 1.0 means no magnification. A value of 2.0 means the contents
|
|
|
|
* are doubled in size, and so on.
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
getMagFactor() {
|
2010-10-30 16:31:30 -04:00
|
|
|
return [this._xMagFactor, this._yMagFactor];
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* setMouseTrackingMode
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {GDesktopEnums.MagnifierMouseTrackingMode} mode: the new mode
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setMouseTrackingMode(mode) {
|
2011-10-19 16:47:04 -04:00
|
|
|
if (mode >= GDesktopEnums.MagnifierMouseTrackingMode.NONE &&
|
|
|
|
mode <= GDesktopEnums.MagnifierMouseTrackingMode.PUSH)
|
2010-05-11 15:00:07 -04:00
|
|
|
this._mouseTrackingMode = mode;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* getMouseTrackingMode
|
2019-10-17 12:41:52 -04:00
|
|
|
* @returns {GDesktopEnums.MagnifierMouseTrackingMode} the current mode
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
getMouseTrackingMode() {
|
2010-05-11 15:00:07 -04:00
|
|
|
return this._mouseTrackingMode;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2013-09-04 13:53:36 -04:00
|
|
|
/**
|
|
|
|
* setFocusTrackingMode
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {GDesktopEnums.MagnifierFocusTrackingMode} mode: the new mode
|
2013-09-04 13:53:36 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setFocusTrackingMode(mode) {
|
2013-09-04 13:53:36 -04:00
|
|
|
this._focusTrackingMode = mode;
|
2014-02-13 10:25:24 -05:00
|
|
|
this._syncFocusTracking();
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2013-09-04 13:53:36 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* setCaretTrackingMode
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {GDesktopEnums.MagnifierCaretTrackingMode} mode: the new mode
|
2013-09-04 13:53:36 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setCaretTrackingMode(mode) {
|
2013-09-04 13:53:36 -04:00
|
|
|
this._caretTrackingMode = mode;
|
2014-02-13 10:25:24 -05:00
|
|
|
this._syncCaretTracking();
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2014-02-13 10:25:24 -05:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_syncFocusTracking() {
|
2014-02-13 10:25:24 -05:00
|
|
|
let enabled = this._focusTrackingMode != GDesktopEnums.MagnifierFocusTrackingMode.NONE &&
|
|
|
|
this.isActive();
|
|
|
|
|
|
|
|
if (enabled)
|
|
|
|
this._focusCaretTracker.registerFocusListener();
|
2013-09-04 13:53:36 -04:00
|
|
|
else
|
2014-02-13 10:25:24 -05:00
|
|
|
this._focusCaretTracker.deregisterFocusListener();
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2014-02-13 10:25:24 -05:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_syncCaretTracking() {
|
2014-02-13 10:25:24 -05:00
|
|
|
let enabled = this._caretTrackingMode != GDesktopEnums.MagnifierCaretTrackingMode.NONE &&
|
|
|
|
this.isActive();
|
|
|
|
|
|
|
|
if (enabled)
|
2013-09-04 13:53:36 -04:00
|
|
|
this._focusCaretTracker.registerCaretListener();
|
2014-02-13 10:25:24 -05:00
|
|
|
else
|
|
|
|
this._focusCaretTracker.deregisterCaretListener();
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2013-09-04 13:53:36 -04:00
|
|
|
|
2010-05-11 15:00:07 -04:00
|
|
|
/**
|
|
|
|
* setViewPort
|
|
|
|
* Sets the position and size of the ZoomRegion on screen.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {{x: number, y: number, width: number, height: number}} viewPort:
|
|
|
|
* Object defining the position and size of the view port.
|
|
|
|
* The values are in stage coordinate space.
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setViewPort(viewPort) {
|
2010-10-30 16:31:30 -04:00
|
|
|
this._setViewPort(viewPort);
|
2011-10-19 16:47:04 -04:00
|
|
|
this._screenPosition = GDesktopEnums.MagnifierScreenPosition.NONE;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* setROI
|
|
|
|
* Sets the "region of interest" that the ZoomRegion is magnifying.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {{x: number, y: number, width: number, height: number}} roi:
|
|
|
|
* Object that defines the region of the screen to magnify.
|
|
|
|
* The values are in screen (unmagnified) coordinate space.
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setROI(roi) {
|
2010-10-30 16:31:30 -04:00
|
|
|
if (roi.width <= 0 || roi.height <= 0)
|
|
|
|
return;
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2010-10-30 16:31:30 -04:00
|
|
|
this._followingCursor = false;
|
|
|
|
this._changeROI({ xMagFactor: this._viewPortWidth / roi.width,
|
|
|
|
yMagFactor: this._viewPortHeight / roi.height,
|
|
|
|
xCenter: roi.x + roi.width / 2,
|
|
|
|
yCenter: roi.y + roi.height / 2 });
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* getROI:
|
|
|
|
* Retrieves the "region of interest" -- the rectangular bounds of that part
|
|
|
|
* of the desktop that the magnified view is showing (x, y, width, height).
|
|
|
|
* The bounds are given in non-magnified coordinates.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @returns {number[]} an array, [x, y, width, height], representing
|
|
|
|
* the bounding rectangle of what is shown in the magnified view.
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
getROI() {
|
2010-10-30 16:31:30 -04:00
|
|
|
let roiWidth = this._viewPortWidth / this._xMagFactor;
|
|
|
|
let roiHeight = this._viewPortHeight / this._yMagFactor;
|
|
|
|
|
|
|
|
return [this._xCenter - roiWidth / 2,
|
|
|
|
this._yCenter - roiHeight / 2,
|
|
|
|
roiWidth, roiHeight];
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* setLensMode:
|
2010-10-30 16:31:30 -04:00
|
|
|
* Turn lens mode on/off. In full screen mode, lens mode does nothing since
|
2010-05-11 15:00:07 -04:00
|
|
|
* a lens the size of the screen is pointless.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {bool} lensMode: Whether lensMode should be active
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setLensMode(lensMode) {
|
2010-10-30 16:31:30 -04:00
|
|
|
this._lensMode = lensMode;
|
|
|
|
if (!this._lensMode)
|
2019-08-19 13:55:49 -04:00
|
|
|
this.setScreenPosition(this._screenPosition);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* isLensMode:
|
|
|
|
* Is lens mode on or off?
|
2019-10-17 12:41:52 -04:00
|
|
|
* @returns {bool} The lens mode state.
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
isLensMode() {
|
2010-05-11 15:00:07 -04:00
|
|
|
return this._lensMode;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* setClampScrollingAtEdges:
|
|
|
|
* Stop vs. allow scrolling of the magnified contents when it scroll beyond
|
|
|
|
* the edges of the screen.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {bool} clamp: Boolean to turn on/off clamping.
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setClampScrollingAtEdges(clamp) {
|
2010-05-11 15:00:07 -04:00
|
|
|
this._clampScrollingAtEdges = clamp;
|
2010-10-30 16:31:30 -04:00
|
|
|
if (clamp)
|
|
|
|
this._changeROI();
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* setTopHalf:
|
|
|
|
* Magnifier view occupies the top half of the screen.
|
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setTopHalf() {
|
2010-05-11 15:00:07 -04:00
|
|
|
let viewPort = {};
|
|
|
|
viewPort.x = 0;
|
|
|
|
viewPort.y = 0;
|
|
|
|
viewPort.width = global.screen_width;
|
2019-01-28 20:27:05 -05:00
|
|
|
viewPort.height = global.screen_height / 2;
|
2010-10-30 16:31:30 -04:00
|
|
|
this._setViewPort(viewPort);
|
2011-10-19 16:47:04 -04:00
|
|
|
this._screenPosition = GDesktopEnums.MagnifierScreenPosition.TOP_HALF;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* setBottomHalf:
|
|
|
|
* Magnifier view occupies the bottom half of the screen.
|
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setBottomHalf() {
|
2010-05-11 15:00:07 -04:00
|
|
|
let viewPort = {};
|
|
|
|
viewPort.x = 0;
|
2019-01-28 20:27:05 -05:00
|
|
|
viewPort.y = global.screen_height / 2;
|
2010-05-11 15:00:07 -04:00
|
|
|
viewPort.width = global.screen_width;
|
2019-01-28 20:27:05 -05:00
|
|
|
viewPort.height = global.screen_height / 2;
|
2010-10-30 16:31:30 -04:00
|
|
|
this._setViewPort(viewPort);
|
2011-10-19 16:47:04 -04:00
|
|
|
this._screenPosition = GDesktopEnums.MagnifierScreenPosition.BOTTOM_HALF;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* setLeftHalf:
|
|
|
|
* Magnifier view occupies the left half of the screen.
|
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setLeftHalf() {
|
2010-05-11 15:00:07 -04:00
|
|
|
let viewPort = {};
|
|
|
|
viewPort.x = 0;
|
|
|
|
viewPort.y = 0;
|
2019-01-28 20:27:05 -05:00
|
|
|
viewPort.width = global.screen_width / 2;
|
2010-05-11 15:00:07 -04:00
|
|
|
viewPort.height = global.screen_height;
|
2010-10-30 16:31:30 -04:00
|
|
|
this._setViewPort(viewPort);
|
2011-10-19 16:47:04 -04:00
|
|
|
this._screenPosition = GDesktopEnums.MagnifierScreenPosition.LEFT_HALF;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* setRightHalf:
|
|
|
|
* Magnifier view occupies the right half of the screen.
|
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setRightHalf() {
|
2010-05-11 15:00:07 -04:00
|
|
|
let viewPort = {};
|
2019-01-28 20:27:05 -05:00
|
|
|
viewPort.x = global.screen_width / 2;
|
2010-05-11 15:00:07 -04:00
|
|
|
viewPort.y = 0;
|
2019-01-28 20:27:05 -05:00
|
|
|
viewPort.width = global.screen_width / 2;
|
2010-05-11 15:00:07 -04:00
|
|
|
viewPort.height = global.screen_height;
|
2010-10-30 16:31:30 -04:00
|
|
|
this._setViewPort(viewPort);
|
2011-10-19 16:47:04 -04:00
|
|
|
this._screenPosition = GDesktopEnums.MagnifierScreenPosition.RIGHT_HALF;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* setFullScreenMode:
|
|
|
|
* Set the ZoomRegion to full-screen mode.
|
|
|
|
* Note: disallows lens mode.
|
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setFullScreenMode() {
|
2010-10-30 16:31:30 -04:00
|
|
|
let viewPort = {};
|
|
|
|
viewPort.x = 0;
|
|
|
|
viewPort.y = 0;
|
|
|
|
viewPort.width = global.screen_width;
|
|
|
|
viewPort.height = global.screen_height;
|
|
|
|
this.setViewPort(viewPort);
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2011-10-19 16:47:04 -04:00
|
|
|
this._screenPosition = GDesktopEnums.MagnifierScreenPosition.FULL_SCREEN;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* setScreenPosition:
|
|
|
|
* Positions the zoom region to one of the enumerated positions on the
|
|
|
|
* screen.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {GDesktopEnums.MagnifierScreenPosition} inPosition: the position
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setScreenPosition(inPosition) {
|
2010-05-11 15:00:07 -04:00
|
|
|
switch (inPosition) {
|
2019-02-01 07:21:00 -05:00
|
|
|
case GDesktopEnums.MagnifierScreenPosition.FULL_SCREEN:
|
|
|
|
this.setFullScreenMode();
|
|
|
|
break;
|
|
|
|
case GDesktopEnums.MagnifierScreenPosition.TOP_HALF:
|
|
|
|
this.setTopHalf();
|
|
|
|
break;
|
|
|
|
case GDesktopEnums.MagnifierScreenPosition.BOTTOM_HALF:
|
|
|
|
this.setBottomHalf();
|
|
|
|
break;
|
|
|
|
case GDesktopEnums.MagnifierScreenPosition.LEFT_HALF:
|
|
|
|
this.setLeftHalf();
|
|
|
|
break;
|
|
|
|
case GDesktopEnums.MagnifierScreenPosition.RIGHT_HALF:
|
|
|
|
this.setRightHalf();
|
|
|
|
break;
|
2010-05-11 15:00:07 -04:00
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2010-10-30 16:31:30 -04:00
|
|
|
/**
|
|
|
|
* getScreenPosition:
|
|
|
|
* Tell the outside world what the current mode is -- magnifiying the
|
|
|
|
* top half, bottom half, etc.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @returns {GDesktopEnums.MagnifierScreenPosition}: the current position.
|
2010-10-30 16:31:30 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
getScreenPosition() {
|
2010-10-30 16:31:30 -04:00
|
|
|
return this._screenPosition;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-10-30 16:31:30 -04:00
|
|
|
|
2020-02-06 07:25:20 -05:00
|
|
|
_clearScrollContentsTimer() {
|
|
|
|
if (this._scrollContentsTimerId !== 0) {
|
|
|
|
GLib.source_remove(this._scrollContentsTimerId);
|
|
|
|
this._scrollContentsTimerId = 0;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2010-10-30 16:31:30 -04:00
|
|
|
/**
|
|
|
|
* scrollToMousePos:
|
|
|
|
* Set the region of interest based on the position of the system pointer.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @returns {bool}: Whether the system mouse pointer is over the
|
|
|
|
* magnified view.
|
2010-10-30 16:31:30 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
scrollToMousePos() {
|
2010-10-30 16:31:30 -04:00
|
|
|
this._followingCursor = true;
|
2011-10-19 16:47:04 -04:00
|
|
|
if (this._mouseTrackingMode != GDesktopEnums.MagnifierMouseTrackingMode.NONE)
|
2010-10-30 16:31:30 -04:00
|
|
|
this._changeROI({ redoCursorTracking: true });
|
|
|
|
else
|
|
|
|
this._updateMousePosition();
|
|
|
|
|
2020-02-06 07:25:20 -05:00
|
|
|
this._clearScrollContentsTimer();
|
|
|
|
this._scrollContentsTimerId = GLib.timeout_add(GLib.PRIORITY_DEFAULT, POINTER_REST_TIME, () => {
|
|
|
|
this._followingCursor = false;
|
|
|
|
if (this._xDelayed !== null && this._yDelayed !== null) {
|
|
|
|
this._scrollContentsToDelayed(this._xDelayed, this._yDelayed);
|
|
|
|
this._xDelayed = null;
|
|
|
|
this._yDelayed = null;
|
|
|
|
}
|
|
|
|
|
|
|
|
return GLib.SOURCE_REMOVE;
|
|
|
|
});
|
|
|
|
|
2010-10-30 16:31:30 -04:00
|
|
|
// Determine whether the system mouse pointer is over this zoom region.
|
|
|
|
return this._isMouseOverRegion();
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-10-30 16:31:30 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_scrollContentsToDelayed(x, y) {
|
2020-02-06 07:25:20 -05:00
|
|
|
if (this._followingCursor) {
|
|
|
|
this._xDelayed = x;
|
|
|
|
this._yDelayed = y;
|
|
|
|
} else {
|
2015-07-24 12:47:34 -04:00
|
|
|
this.scrollContentsTo(x, y);
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2015-07-24 12:47:34 -04:00
|
|
|
|
2010-05-11 15:00:07 -04:00
|
|
|
/**
|
|
|
|
* scrollContentsTo:
|
|
|
|
* Shift the contents of the magnified view such it is centered on the given
|
2010-10-30 16:31:30 -04:00
|
|
|
* coordinate.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {number} x: The x-coord of the point to center on.
|
|
|
|
* @param {number} y: The y-coord of the point to center on.
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
scrollContentsTo(x, y) {
|
2020-02-06 04:52:24 -05:00
|
|
|
if (x < 0 || x > global.screen_width ||
|
|
|
|
y < 0 || y > global.screen_height)
|
|
|
|
return;
|
|
|
|
|
2015-07-24 12:47:34 -04:00
|
|
|
this._clearScrollContentsTimer();
|
|
|
|
|
2010-10-30 16:31:30 -04:00
|
|
|
this._followingCursor = false;
|
|
|
|
this._changeROI({ xCenter: x,
|
2020-02-06 05:03:09 -05:00
|
|
|
yCenter: y,
|
|
|
|
animate: true });
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* addCrosshairs:
|
|
|
|
* Add crosshairs centered on the magnified mouse.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {Crosshairs} crossHairs: Crosshairs instance
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
addCrosshairs(crossHairs) {
|
2010-10-30 16:31:30 -04:00
|
|
|
this._crossHairs = crossHairs;
|
|
|
|
|
2010-05-11 15:00:07 -04:00
|
|
|
// If the crossHairs is not already within a larger container, add it
|
|
|
|
// to this zoom region. Otherwise, add a clone.
|
2019-08-19 20:51:42 -04:00
|
|
|
if (crossHairs && this.isActive())
|
2010-10-30 16:31:30 -04:00
|
|
|
this._crossHairsActor = crossHairs.addToZoomRegion(this, this._mouseActor);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2012-04-04 11:10:31 -04:00
|
|
|
/**
|
|
|
|
* setInvertLightness:
|
|
|
|
* Set whether to invert the lightness of the magnified view.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {bool} flag: whether brightness should be inverted
|
2012-04-04 11:10:31 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setInvertLightness(flag) {
|
2012-04-04 11:10:31 -04:00
|
|
|
this._invertLightness = flag;
|
|
|
|
if (this._magShaderEffects)
|
|
|
|
this._magShaderEffects.setInvertLightness(this._invertLightness);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2012-04-04 11:10:31 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* getInvertLightness:
|
|
|
|
* Retrieve whether the lightness is inverted.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @returns {bool} whether brightness should be inverted
|
2012-04-04 11:10:31 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
getInvertLightness() {
|
2012-04-04 11:10:31 -04:00
|
|
|
return this._invertLightness;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2012-04-04 11:10:31 -04:00
|
|
|
|
2012-06-01 08:36:47 -04:00
|
|
|
/**
|
|
|
|
* setColorSaturation:
|
|
|
|
* Set the color saturation of the magnified view.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {number} saturation: A value from 0.0 to 1.0 that defines
|
|
|
|
* the color saturation, with 0.0 defining no color (grayscale),
|
|
|
|
* and 1.0 defining full color.
|
2012-06-01 08:36:47 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setColorSaturation(saturation) {
|
2012-06-01 08:36:47 -04:00
|
|
|
this._colorSaturation = saturation;
|
|
|
|
if (this._magShaderEffects)
|
|
|
|
this._magShaderEffects.setColorSaturation(this._colorSaturation);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2012-06-01 08:36:47 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* getColorSaturation:
|
|
|
|
* Retrieve the color saturation of the magnified view.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @returns {number} the color saturation
|
2012-06-01 08:36:47 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
getColorSaturation() {
|
2012-06-01 08:36:47 -04:00
|
|
|
return this._colorSaturation;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2012-06-01 08:36:47 -04:00
|
|
|
|
2012-03-12 15:52:41 -04:00
|
|
|
/**
|
|
|
|
* setBrightness:
|
|
|
|
* Alter the brightness of the magnified view.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {Object} brightness: Object containing the contrast for the
|
|
|
|
* red, green, and blue channels. Values of 0.0 represent "standard"
|
|
|
|
* brightness (no change), whereas values less or greater than
|
|
|
|
* 0.0 indicate decreased or incresaed brightness, respectively.
|
|
|
|
*
|
|
|
|
* {number} brightness.r - the red component
|
|
|
|
* {number} brightness.g - the green component
|
|
|
|
* {number} brightness.b - the blue component
|
2012-03-12 15:52:41 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setBrightness(brightness) {
|
2012-03-12 15:52:41 -04:00
|
|
|
this._brightness.r = brightness.r;
|
|
|
|
this._brightness.g = brightness.g;
|
|
|
|
this._brightness.b = brightness.b;
|
|
|
|
if (this._magShaderEffects)
|
|
|
|
this._magShaderEffects.setBrightness(this._brightness);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2012-03-12 15:52:41 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* setContrast:
|
|
|
|
* Alter the contrast of the magnified view.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {Object} contrast: Object containing the contrast for the
|
|
|
|
* red, green, and blue channels. Values of 0.0 represent "standard"
|
|
|
|
* contrast (no change), whereas values less or greater than
|
|
|
|
* 0.0 indicate decreased or incresaed contrast, respectively.
|
|
|
|
*
|
|
|
|
* {number} contrast.r - the red component
|
|
|
|
* {number} contrast.g - the green component
|
|
|
|
* {number} contrast.b - the blue component
|
2012-03-12 15:52:41 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setContrast(contrast) {
|
2012-03-12 15:52:41 -04:00
|
|
|
this._contrast.r = contrast.r;
|
|
|
|
this._contrast.g = contrast.g;
|
|
|
|
this._contrast.b = contrast.b;
|
|
|
|
if (this._magShaderEffects)
|
|
|
|
this._magShaderEffects.setContrast(this._contrast);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2012-03-12 15:52:41 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* getContrast:
|
2019-05-15 15:32:29 -04:00
|
|
|
* Retrieve the contrast of the magnified view.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @returns {{r: number, g: number, b: number}}: Object containing
|
|
|
|
* the contrast for the red, green, and blue channels.
|
2012-03-12 15:52:41 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
getContrast() {
|
2012-03-12 15:52:41 -04:00
|
|
|
let contrast = {};
|
|
|
|
contrast.r = this._contrast.r;
|
|
|
|
contrast.g = this._contrast.g;
|
|
|
|
contrast.b = this._contrast.b;
|
|
|
|
return contrast;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2012-03-12 15:52:41 -04:00
|
|
|
|
2019-08-19 13:55:49 -04:00
|
|
|
// Private methods //
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_createActors() {
|
2010-10-30 16:31:30 -04:00
|
|
|
// The root actor for the zoom region
|
2019-10-17 17:40:24 -04:00
|
|
|
this._magView = new St.Bin({ style_class: 'magnifier-zoom-region' });
|
2010-10-30 16:31:30 -04:00
|
|
|
global.stage.add_actor(this._magView);
|
|
|
|
|
2010-11-17 05:08:24 -05:00
|
|
|
// hide the magnified region from CLUTTER_PICK_ALL
|
2019-08-19 13:55:49 -04:00
|
|
|
Shell.util_set_hidden_from_pick(this._magView, true);
|
2010-11-17 05:08:24 -05:00
|
|
|
|
2012-08-30 20:35:17 -04:00
|
|
|
// Add a group to clip the contents of the magnified view.
|
|
|
|
let mainGroup = new Clutter.Actor({ clip_to_allocation: true });
|
2010-10-30 16:31:30 -04:00
|
|
|
this._magView.set_child(mainGroup);
|
|
|
|
|
|
|
|
// Add a background for when the magnified uiGroup is scrolled
|
|
|
|
// out of view (don't want to see desktop showing through).
|
2019-07-16 05:24:13 -04:00
|
|
|
this._background = new Background.SystemBackground();
|
2012-01-25 23:34:45 -05:00
|
|
|
mainGroup.add_actor(this._background);
|
2010-10-30 16:31:30 -04:00
|
|
|
|
|
|
|
// Clone the group that contains all of UI on the screen. This is the
|
|
|
|
// chrome, the windows, etc.
|
2014-02-13 11:25:42 -05:00
|
|
|
this._uiGroupClone = new Clutter.Clone({ source: Main.uiGroup,
|
|
|
|
clip_to_allocation: true });
|
2010-10-30 16:31:30 -04:00
|
|
|
mainGroup.add_actor(this._uiGroupClone);
|
|
|
|
|
|
|
|
// Add either the given mouseSourceActor to the ZoomRegion, or a clone of
|
|
|
|
// it.
|
|
|
|
if (this._mouseSourceActor.get_parent() != null)
|
|
|
|
this._mouseActor = new Clutter.Clone({ source: this._mouseSourceActor });
|
|
|
|
else
|
|
|
|
this._mouseActor = this._mouseSourceActor;
|
|
|
|
mainGroup.add_actor(this._mouseActor);
|
|
|
|
|
|
|
|
if (this._crossHairs)
|
|
|
|
this._crossHairsActor = this._crossHairs.addToZoomRegion(this, this._mouseActor);
|
|
|
|
else
|
|
|
|
this._crossHairsActor = null;
|
2012-03-12 15:52:41 -04:00
|
|
|
|
|
|
|
// Contrast and brightness effects.
|
2020-02-06 04:33:27 -05:00
|
|
|
this._magShaderEffects = new MagShaderEffects(mainGroup);
|
2012-06-01 08:36:47 -04:00
|
|
|
this._magShaderEffects.setColorSaturation(this._colorSaturation);
|
2012-04-04 11:10:31 -04:00
|
|
|
this._magShaderEffects.setInvertLightness(this._invertLightness);
|
2012-03-12 15:52:41 -04:00
|
|
|
this._magShaderEffects.setBrightness(this._brightness);
|
|
|
|
this._magShaderEffects.setContrast(this._contrast);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-10-30 16:31:30 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_destroyActors() {
|
2010-10-30 16:31:30 -04:00
|
|
|
if (this._mouseActor == this._mouseSourceActor)
|
2019-08-19 13:55:49 -04:00
|
|
|
this._mouseActor.get_parent().remove_actor(this._mouseActor);
|
2010-10-30 16:31:30 -04:00
|
|
|
if (this._crossHairs)
|
|
|
|
this._crossHairs.removeFromParent(this._crossHairsActor);
|
|
|
|
|
2012-03-12 15:52:41 -04:00
|
|
|
this._magShaderEffects.destroyEffects();
|
|
|
|
this._magShaderEffects = null;
|
2010-10-30 16:31:30 -04:00
|
|
|
this._magView.destroy();
|
|
|
|
this._magView = null;
|
2012-01-25 23:34:45 -05:00
|
|
|
this._background = null;
|
2010-10-30 16:31:30 -04:00
|
|
|
this._uiGroupClone = null;
|
|
|
|
this._mouseActor = null;
|
|
|
|
this._crossHairsActor = null;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-10-30 16:31:30 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_setViewPort(viewPort, fromROIUpdate) {
|
2010-10-30 16:31:30 -04:00
|
|
|
// Sets the position of the zoom region on the screen
|
|
|
|
|
|
|
|
let width = Math.round(Math.min(viewPort.width, global.screen_width));
|
|
|
|
let height = Math.round(Math.min(viewPort.height, global.screen_height));
|
|
|
|
let x = Math.max(viewPort.x, 0);
|
|
|
|
let y = Math.max(viewPort.y, 0);
|
|
|
|
|
|
|
|
x = Math.round(Math.min(x, global.screen_width - width));
|
|
|
|
y = Math.round(Math.min(y, global.screen_height - height));
|
|
|
|
|
|
|
|
this._viewPortX = x;
|
|
|
|
this._viewPortY = y;
|
|
|
|
this._viewPortWidth = width;
|
|
|
|
this._viewPortHeight = height;
|
|
|
|
|
|
|
|
this._updateMagViewGeometry();
|
|
|
|
|
|
|
|
if (!fromROIUpdate)
|
|
|
|
this._changeROI({ redoCursorTracking: this._followingCursor }); // will update mouse
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2010-10-30 16:31:30 -04:00
|
|
|
if (this.isActive() && this._isMouseOverRegion())
|
|
|
|
this._magnifier.hideSystemCursor();
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-10-30 16:31:30 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_changeROI(params) {
|
2010-10-30 16:31:30 -04:00
|
|
|
// Updates the area we are viewing; the magnification factors
|
|
|
|
// and center can be set explicitly, or we can recompute
|
|
|
|
// the position based on the mouse cursor position
|
|
|
|
|
|
|
|
params = Params.parse(params, { xMagFactor: this._xMagFactor,
|
|
|
|
yMagFactor: this._yMagFactor,
|
|
|
|
xCenter: this._xCenter,
|
|
|
|
yCenter: this._yCenter,
|
2020-02-06 05:00:44 -05:00
|
|
|
redoCursorTracking: false,
|
|
|
|
animate: false });
|
2010-10-30 16:31:30 -04:00
|
|
|
|
|
|
|
if (params.xMagFactor <= 0)
|
|
|
|
params.xMagFactor = this._xMagFactor;
|
|
|
|
if (params.yMagFactor <= 0)
|
|
|
|
params.yMagFactor = this._yMagFactor;
|
|
|
|
|
|
|
|
this._xMagFactor = params.xMagFactor;
|
|
|
|
this._yMagFactor = params.yMagFactor;
|
|
|
|
|
|
|
|
if (params.redoCursorTracking &&
|
2011-10-19 16:47:04 -04:00
|
|
|
this._mouseTrackingMode != GDesktopEnums.MagnifierMouseTrackingMode.NONE) {
|
2010-10-30 16:31:30 -04:00
|
|
|
// This depends on this.xMagFactor/yMagFactor already being updated
|
|
|
|
[params.xCenter, params.yCenter] = this._centerFromMousePosition();
|
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
if (this._clampScrollingAtEdges) {
|
2010-10-30 16:31:30 -04:00
|
|
|
let roiWidth = this._viewPortWidth / this._xMagFactor;
|
|
|
|
let roiHeight = this._viewPortHeight / this._yMagFactor;
|
|
|
|
|
|
|
|
params.xCenter = Math.min(params.xCenter, global.screen_width - roiWidth / 2);
|
|
|
|
params.xCenter = Math.max(params.xCenter, roiWidth / 2);
|
|
|
|
params.yCenter = Math.min(params.yCenter, global.screen_height - roiHeight / 2);
|
|
|
|
params.yCenter = Math.max(params.yCenter, roiHeight / 2);
|
2010-05-11 15:00:07 -04:00
|
|
|
}
|
2010-10-30 16:31:30 -04:00
|
|
|
|
|
|
|
this._xCenter = params.xCenter;
|
|
|
|
this._yCenter = params.yCenter;
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
// If in lens mode, move the magnified view such that it is centered
|
|
|
|
// over the actual mouse. However, in full screen mode, the "lens" is
|
|
|
|
// the size of the screen -- pointless to move such a large lens around.
|
2019-08-19 20:51:42 -04:00
|
|
|
if (this._lensMode && !this._isFullScreen()) {
|
2010-10-30 16:31:30 -04:00
|
|
|
this._setViewPort({ x: this._xCenter - this._viewPortWidth / 2,
|
|
|
|
y: this._yCenter - this._viewPortHeight / 2,
|
|
|
|
width: this._viewPortWidth,
|
|
|
|
height: this._viewPortHeight }, true);
|
2019-08-19 20:51:42 -04:00
|
|
|
}
|
2010-10-30 16:31:30 -04:00
|
|
|
|
2020-02-06 05:00:44 -05:00
|
|
|
this._updateCloneGeometry(params.animate);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-10-30 16:31:30 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_isMouseOverRegion() {
|
2010-10-30 16:31:30 -04:00
|
|
|
// Return whether the system mouse sprite is over this ZoomRegion. If the
|
|
|
|
// mouse's position is not given, then it is fetched.
|
|
|
|
let mouseIsOver = false;
|
|
|
|
if (this.isActive()) {
|
2010-10-30 17:01:41 -04:00
|
|
|
let xMouse = this._magnifier.xMouse;
|
|
|
|
let yMouse = this._magnifier.yMouse;
|
|
|
|
|
2019-08-19 15:38:51 -04:00
|
|
|
mouseIsOver =
|
2010-10-30 16:31:30 -04:00
|
|
|
xMouse >= this._viewPortX && xMouse < (this._viewPortX + this._viewPortWidth) &&
|
2019-08-19 15:38:51 -04:00
|
|
|
yMouse >= this._viewPortY && yMouse < (this._viewPortY + this._viewPortHeight);
|
2010-10-30 16:31:30 -04:00
|
|
|
}
|
|
|
|
return mouseIsOver;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-10-30 16:31:30 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_isFullScreen() {
|
2010-10-30 16:31:30 -04:00
|
|
|
// Does the magnified view occupy the whole screen? Note that this
|
|
|
|
// doesn't necessarily imply
|
2011-10-19 16:47:04 -04:00
|
|
|
// this._screenPosition = GDesktopEnums.MagnifierScreenPosition.FULL_SCREEN;
|
2010-10-30 16:31:30 -04:00
|
|
|
|
|
|
|
if (this._viewPortX != 0 || this._viewPortY != 0)
|
|
|
|
return false;
|
|
|
|
if (this._viewPortWidth != global.screen_width ||
|
|
|
|
this._viewPortHeight != global.screen_height)
|
|
|
|
return false;
|
|
|
|
return true;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_centerFromMousePosition() {
|
2010-10-30 16:31:30 -04:00
|
|
|
// Determines where the center should be given the current cursor
|
|
|
|
// position and mouse tracking mode
|
|
|
|
|
2010-10-30 17:01:41 -04:00
|
|
|
let xMouse = this._magnifier.xMouse;
|
|
|
|
let yMouse = this._magnifier.yMouse;
|
2010-10-30 16:31:30 -04:00
|
|
|
|
2019-08-19 20:51:42 -04:00
|
|
|
if (this._mouseTrackingMode == GDesktopEnums.MagnifierMouseTrackingMode.PROPORTIONAL)
|
2013-09-04 13:53:36 -04:00
|
|
|
return this._centerFromPointProportional(xMouse, yMouse);
|
2019-08-19 20:51:42 -04:00
|
|
|
else if (this._mouseTrackingMode == GDesktopEnums.MagnifierMouseTrackingMode.PUSH)
|
2013-09-04 13:53:36 -04:00
|
|
|
return this._centerFromPointPush(xMouse, yMouse);
|
2019-08-19 20:51:42 -04:00
|
|
|
else if (this._mouseTrackingMode == GDesktopEnums.MagnifierMouseTrackingMode.CENTERED)
|
2013-09-04 13:53:36 -04:00
|
|
|
return this._centerFromPointCentered(xMouse, yMouse);
|
2010-10-30 16:31:30 -04:00
|
|
|
|
|
|
|
return null; // Should never be hit
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_centerFromCaretPosition() {
|
2013-09-04 13:53:36 -04:00
|
|
|
let xCaret = this._xCaret;
|
|
|
|
let yCaret = this._yCaret;
|
|
|
|
|
|
|
|
if (this._caretTrackingMode == GDesktopEnums.MagnifierCaretTrackingMode.PROPORTIONAL)
|
|
|
|
[xCaret, yCaret] = this._centerFromPointProportional(xCaret, yCaret);
|
|
|
|
else if (this._caretTrackingMode == GDesktopEnums.MagnifierCaretTrackingMode.PUSH)
|
|
|
|
[xCaret, yCaret] = this._centerFromPointPush(xCaret, yCaret);
|
|
|
|
else if (this._caretTrackingMode == GDesktopEnums.MagnifierCaretTrackingMode.CENTERED)
|
|
|
|
[xCaret, yCaret] = this._centerFromPointCentered(xCaret, yCaret);
|
|
|
|
|
2015-07-24 12:47:34 -04:00
|
|
|
this._scrollContentsToDelayed(xCaret, yCaret);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2013-09-04 13:53:36 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_centerFromFocusPosition() {
|
2013-09-04 13:53:36 -04:00
|
|
|
let xFocus = this._xFocus;
|
|
|
|
let yFocus = this._yFocus;
|
|
|
|
|
|
|
|
if (this._focusTrackingMode == GDesktopEnums.MagnifierFocusTrackingMode.PROPORTIONAL)
|
|
|
|
[xFocus, yFocus] = this._centerFromPointProportional(xFocus, yFocus);
|
|
|
|
else if (this._focusTrackingMode == GDesktopEnums.MagnifierFocusTrackingMode.PUSH)
|
|
|
|
[xFocus, yFocus] = this._centerFromPointPush(xFocus, yFocus);
|
|
|
|
else if (this._focusTrackingMode == GDesktopEnums.MagnifierFocusTrackingMode.CENTERED)
|
|
|
|
[xFocus, yFocus] = this._centerFromPointCentered(xFocus, yFocus);
|
|
|
|
|
2015-07-24 12:47:34 -04:00
|
|
|
this._scrollContentsToDelayed(xFocus, yFocus);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2013-09-04 13:53:36 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_centerFromPointPush(xPoint, yPoint) {
|
2010-05-11 15:00:07 -04:00
|
|
|
let [xRoi, yRoi, widthRoi, heightRoi] = this.getROI();
|
2010-10-30 16:31:30 -04:00
|
|
|
let [cursorWidth, cursorHeight] = this._mouseSourceActor.get_size();
|
2010-05-11 15:00:07 -04:00
|
|
|
let xPos = xRoi + widthRoi / 2;
|
|
|
|
let yPos = yRoi + heightRoi / 2;
|
|
|
|
let xRoiRight = xRoi + widthRoi - cursorWidth;
|
|
|
|
let yRoiBottom = yRoi + heightRoi - cursorHeight;
|
|
|
|
|
2013-09-04 13:53:36 -04:00
|
|
|
if (xPoint < xRoi)
|
2019-08-19 15:38:51 -04:00
|
|
|
xPos -= xRoi - xPoint;
|
2013-09-04 13:53:36 -04:00
|
|
|
else if (xPoint > xRoiRight)
|
2019-08-19 15:38:51 -04:00
|
|
|
xPos += xPoint - xRoiRight;
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2013-09-04 13:53:36 -04:00
|
|
|
if (yPoint < yRoi)
|
2019-08-19 15:38:51 -04:00
|
|
|
yPos -= yRoi - yPoint;
|
2013-09-04 13:53:36 -04:00
|
|
|
else if (yPoint > yRoiBottom)
|
2019-08-19 15:38:51 -04:00
|
|
|
yPos += yPoint - yRoiBottom;
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2010-10-30 16:31:30 -04:00
|
|
|
return [xPos, yPos];
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_centerFromPointProportional(xPoint, yPoint) {
|
2019-01-31 09:08:00 -05:00
|
|
|
let [xRoi_, yRoi_, widthRoi, heightRoi] = this.getROI();
|
2010-05-11 15:00:07 -04:00
|
|
|
let halfScreenWidth = global.screen_width / 2;
|
|
|
|
let halfScreenHeight = global.screen_height / 2;
|
2010-11-14 17:21:43 -05:00
|
|
|
// We want to pad with a constant distance after zooming, so divide
|
|
|
|
// by the magnification factor.
|
|
|
|
let unscaledPadding = Math.min(this._viewPortWidth, this._viewPortHeight) / 5;
|
|
|
|
let xPadding = unscaledPadding / this._xMagFactor;
|
|
|
|
let yPadding = unscaledPadding / this._yMagFactor;
|
2013-09-04 13:53:36 -04:00
|
|
|
let xProportion = (xPoint - halfScreenWidth) / halfScreenWidth; // -1 ... 1
|
|
|
|
let yProportion = (yPoint - halfScreenHeight) / halfScreenHeight; // -1 ... 1
|
|
|
|
let xPos = xPoint - xProportion * (widthRoi / 2 - xPadding);
|
2019-01-28 20:27:05 -05:00
|
|
|
let yPos = yPoint - yProportion * (heightRoi / 2 - yPadding);
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2010-10-30 16:31:30 -04:00
|
|
|
return [xPos, yPos];
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_centerFromPointCentered(xPoint, yPoint) {
|
2013-09-04 13:53:36 -04:00
|
|
|
return [xPoint, yPoint];
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_screenToViewPort(screenX, screenY) {
|
2010-10-30 16:31:30 -04:00
|
|
|
// Converts coordinates relative to the (unmagnified) screen to coordinates
|
|
|
|
// relative to the origin of this._magView
|
|
|
|
return [this._viewPortWidth / 2 + (screenX - this._xCenter) * this._xMagFactor,
|
|
|
|
this._viewPortHeight / 2 + (screenY - this._yCenter) * this._yMagFactor];
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-10-30 16:31:30 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_updateMagViewGeometry() {
|
2010-10-30 16:31:30 -04:00
|
|
|
if (!this.isActive())
|
|
|
|
return;
|
|
|
|
|
|
|
|
if (this._isFullScreen())
|
|
|
|
this._magView.add_style_class_name('full-screen');
|
|
|
|
else
|
|
|
|
this._magView.remove_style_class_name('full-screen');
|
|
|
|
|
|
|
|
this._magView.set_size(this._viewPortWidth, this._viewPortHeight);
|
|
|
|
this._magView.set_position(this._viewPortX, this._viewPortY);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2020-02-06 05:00:44 -05:00
|
|
|
_updateCloneGeometry(animate = false) {
|
2010-10-30 16:31:30 -04:00
|
|
|
if (!this.isActive())
|
|
|
|
return;
|
|
|
|
|
|
|
|
let [x, y] = this._screenToViewPort(0, 0);
|
2020-02-06 05:00:44 -05:00
|
|
|
this._uiGroupClone.ease({
|
|
|
|
x: Math.round(x),
|
|
|
|
y: Math.round(y),
|
|
|
|
scale_x: this._xMagFactor,
|
|
|
|
scale_y: this._yMagFactor,
|
|
|
|
mode: Clutter.AnimationMode.EASE_OUT_QUAD,
|
|
|
|
duration: animate ? 100 : 0,
|
|
|
|
});
|
2010-10-30 16:31:30 -04:00
|
|
|
|
2020-02-06 05:00:44 -05:00
|
|
|
let [mouseX, mouseY] = this._getMousePosition();
|
|
|
|
this._mouseActor.ease({
|
|
|
|
x: mouseX,
|
|
|
|
y: mouseY,
|
|
|
|
scale_x: this._xMagFactor,
|
|
|
|
scale_y: this._yMagFactor,
|
|
|
|
mode: Clutter.AnimationMode.EASE_OUT_QUAD,
|
|
|
|
duration: animate ? 100 : 0,
|
|
|
|
});
|
|
|
|
|
|
|
|
if (this._crossHairsActor) {
|
|
|
|
let [crossX, crossY] = this._getCrossHairsPosition();
|
|
|
|
this._crossHairsActor.ease({
|
|
|
|
x: crossX,
|
|
|
|
y: crossY,
|
|
|
|
mode: Clutter.AnimationMode.EASE_OUT_QUAD,
|
|
|
|
duration: animate ? 100 : 0,
|
|
|
|
});
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-10-30 16:31:30 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_updateMousePosition() {
|
2020-02-06 05:00:44 -05:00
|
|
|
let [xMagMouse, yMagMouse] = this._getMousePosition();
|
2010-10-30 16:31:30 -04:00
|
|
|
this._mouseActor.set_position(xMagMouse, yMagMouse);
|
|
|
|
|
|
|
|
if (this._crossHairsActor) {
|
2020-02-06 05:00:44 -05:00
|
|
|
let [crossX, crossY] = this._getCrossHairsPosition();
|
|
|
|
this._crossHairsActor.set_position(crossX, crossY);
|
2010-05-11 15:00:07 -04:00
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2012-01-25 23:34:45 -05:00
|
|
|
|
2020-02-06 05:00:44 -05:00
|
|
|
_getMousePosition() {
|
|
|
|
let [xMagMouse, yMagMouse] = this._screenToViewPort(
|
|
|
|
this._magnifier.xMouse, this._magnifier.yMouse);
|
|
|
|
return [Math.round(xMagMouse), Math.round(yMagMouse)];
|
|
|
|
}
|
|
|
|
|
|
|
|
_getCrossHairsPosition() {
|
|
|
|
let [xMagMouse, yMagMouse] = this._getMousePosition();
|
|
|
|
let [groupWidth, groupHeight] = this._crossHairsActor.get_size();
|
|
|
|
|
|
|
|
return [xMagMouse - groupWidth / 2, yMagMouse - groupHeight / 2];
|
|
|
|
}
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_monitorsChanged() {
|
2012-01-25 23:34:45 -05:00
|
|
|
this._background.set_size(global.screen_width, global.screen_height);
|
2019-03-27 17:16:26 -04:00
|
|
|
this._updateScreenPosition();
|
2010-05-11 15:00:07 -04:00
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
};
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2019-07-16 05:24:13 -04:00
|
|
|
var Crosshairs = GObject.registerClass(
|
|
|
|
class Crosshairs extends Clutter.Actor {
|
|
|
|
_init() {
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
// Set the group containing the crosshairs to three times the desktop
|
|
|
|
// size in case the crosshairs need to appear to be infinite in
|
|
|
|
// length (i.e., extend beyond the edges of the view they appear in).
|
|
|
|
let groupWidth = global.screen_width * 3;
|
|
|
|
let groupHeight = global.screen_height * 3;
|
2010-06-19 09:43:39 -04:00
|
|
|
|
2019-07-16 05:24:13 -04:00
|
|
|
super._init({
|
2010-05-11 15:00:07 -04:00
|
|
|
clip_to_allocation: false,
|
|
|
|
width: groupWidth,
|
2019-08-20 17:43:54 -04:00
|
|
|
height: groupHeight,
|
2010-05-11 15:00:07 -04:00
|
|
|
});
|
2012-08-30 20:35:17 -04:00
|
|
|
this._horizLeftHair = new Clutter.Actor();
|
|
|
|
this._horizRightHair = new Clutter.Actor();
|
|
|
|
this._vertTopHair = new Clutter.Actor();
|
|
|
|
this._vertBottomHair = new Clutter.Actor();
|
2019-07-16 05:24:13 -04:00
|
|
|
this.add_actor(this._horizLeftHair);
|
|
|
|
this.add_actor(this._horizRightHair);
|
|
|
|
this.add_actor(this._vertTopHair);
|
|
|
|
this.add_actor(this._vertBottomHair);
|
2010-05-11 15:00:07 -04:00
|
|
|
this._clipSize = [0, 0];
|
|
|
|
this._clones = [];
|
|
|
|
this.reCenter();
|
2012-01-25 23:34:45 -05:00
|
|
|
|
|
|
|
Main.layoutManager.connect('monitors-changed',
|
2017-12-01 19:27:35 -05:00
|
|
|
this._monitorsChanged.bind(this));
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2012-01-25 23:34:45 -05:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_monitorsChanged() {
|
2019-07-16 05:24:13 -04:00
|
|
|
this.set_size(global.screen_width * 3, global.screen_height * 3);
|
2012-01-25 23:34:45 -05:00
|
|
|
this.reCenter();
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
2019-01-29 14:36:54 -05:00
|
|
|
/**
|
2010-05-11 15:00:07 -04:00
|
|
|
* addToZoomRegion
|
|
|
|
* Either add the crosshairs actor to the given ZoomRegion, or, if it is
|
|
|
|
* already part of some other ZoomRegion, create a clone of the crosshairs
|
|
|
|
* actor, and add the clone instead. Returns either the original or the
|
|
|
|
* clone.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {ZoomRegion} zoomRegion: The container to add the crosshairs
|
|
|
|
* group to.
|
|
|
|
* @param {Clutter.Actor} magnifiedMouse: The mouse actor for the
|
|
|
|
* zoom region -- used to position the crosshairs and properly
|
|
|
|
* layer them below the mouse.
|
|
|
|
* @returns {Clutter.Actor} The crosshairs actor, or its clone.
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
addToZoomRegion(zoomRegion, magnifiedMouse) {
|
2010-05-11 15:00:07 -04:00
|
|
|
let crosshairsActor = null;
|
|
|
|
if (zoomRegion && magnifiedMouse) {
|
|
|
|
let container = magnifiedMouse.get_parent();
|
|
|
|
if (container) {
|
2019-07-16 05:24:13 -04:00
|
|
|
crosshairsActor = this;
|
|
|
|
if (this.get_parent() != null) {
|
|
|
|
crosshairsActor = new Clutter.Clone({ source: this });
|
2010-05-11 15:00:07 -04:00
|
|
|
this._clones.push(crosshairsActor);
|
2019-07-16 05:24:13 -04:00
|
|
|
|
|
|
|
// Clones don't share visibility.
|
|
|
|
this.bind_property('visible', crosshairsActor, 'visible',
|
|
|
|
GObject.BindingFlags.SYNC_CREATE);
|
2010-05-11 15:00:07 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
container.add_actor(crosshairsActor);
|
2019-11-05 14:17:19 -05:00
|
|
|
container.set_child_above_sibling(magnifiedMouse, crosshairsActor);
|
2010-05-11 15:00:07 -04:00
|
|
|
let [xMouse, yMouse] = magnifiedMouse.get_position();
|
|
|
|
let [crosshairsWidth, crosshairsHeight] = crosshairsActor.get_size();
|
2019-01-28 20:27:05 -05:00
|
|
|
crosshairsActor.set_position(xMouse - crosshairsWidth / 2, yMouse - crosshairsHeight / 2);
|
2010-05-11 15:00:07 -04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
return crosshairsActor;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* removeFromParent:
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {Clutter.Actor} childActor: the actor returned from
|
|
|
|
* addToZoomRegion
|
2010-10-30 16:31:30 -04:00
|
|
|
* Remove the crosshairs actor from its parent container, or destroy the
|
|
|
|
* child actor if it was just a clone of the crosshairs actor.
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
removeFromParent(childActor) {
|
2019-07-16 05:24:13 -04:00
|
|
|
if (childActor == this)
|
2010-10-30 16:31:30 -04:00
|
|
|
childActor.get_parent().remove_actor(childActor);
|
|
|
|
else
|
|
|
|
childActor.destroy();
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* setColor:
|
|
|
|
* Set the color of the crosshairs.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {Clutter.Color} clutterColor: The color
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setColor(clutterColor) {
|
2012-08-30 20:35:17 -04:00
|
|
|
this._horizLeftHair.background_color = clutterColor;
|
|
|
|
this._horizRightHair.background_color = clutterColor;
|
|
|
|
this._vertTopHair.background_color = clutterColor;
|
|
|
|
this._vertBottomHair.background_color = clutterColor;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* getColor:
|
|
|
|
* Get the color of the crosshairs.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @returns {ClutterColor} the crosshairs color
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
getColor() {
|
2012-08-30 20:38:21 -04:00
|
|
|
return this._horizLeftHair.get_color();
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* setThickness:
|
|
|
|
* Set the width of the vertical and horizontal lines of the crosshairs.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {number} thickness: the new thickness value
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setThickness(thickness) {
|
2010-05-11 15:00:07 -04:00
|
|
|
this._horizLeftHair.set_height(thickness);
|
|
|
|
this._horizRightHair.set_height(thickness);
|
|
|
|
this._vertTopHair.set_width(thickness);
|
|
|
|
this._vertBottomHair.set_width(thickness);
|
|
|
|
this.reCenter();
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* getThickness:
|
|
|
|
* Get the width of the vertical and horizontal lines of the crosshairs.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @returns {number} The thickness of the crosshairs.
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
getThickness() {
|
2010-05-11 15:00:07 -04:00
|
|
|
return this._horizLeftHair.get_height();
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* setOpacity:
|
|
|
|
* Set how opaque the crosshairs are.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {number} opacity: Value between 0 (fully transparent)
|
|
|
|
* and 255 (full opaque).
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setOpacity(opacity) {
|
2010-05-11 15:00:07 -04:00
|
|
|
// set_opacity() throws an exception for values outside the range
|
|
|
|
// [0, 255].
|
|
|
|
if (opacity < 0)
|
|
|
|
opacity = 0;
|
|
|
|
else if (opacity > 255)
|
|
|
|
opacity = 255;
|
|
|
|
|
|
|
|
this._horizLeftHair.set_opacity(opacity);
|
|
|
|
this._horizRightHair.set_opacity(opacity);
|
|
|
|
this._vertTopHair.set_opacity(opacity);
|
|
|
|
this._vertBottomHair.set_opacity(opacity);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* setLength:
|
|
|
|
* Set the length of the vertical and horizontal lines in the crosshairs.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {number} length: The length of the crosshairs.
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setLength(length) {
|
2010-05-11 15:00:07 -04:00
|
|
|
this._horizLeftHair.set_width(length);
|
|
|
|
this._horizRightHair.set_width(length);
|
|
|
|
this._vertTopHair.set_height(length);
|
|
|
|
this._vertBottomHair.set_height(length);
|
|
|
|
this.reCenter();
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* getLength:
|
|
|
|
* Get the length of the vertical and horizontal lines in the crosshairs.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @returns {number} The length of the crosshairs.
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
getLength() {
|
2010-05-11 15:00:07 -04:00
|
|
|
return this._horizLeftHair.get_width();
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* setClip:
|
|
|
|
* Set the width and height of the rectangle that clips the crosshairs at
|
|
|
|
* their intersection
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {number[]} size: Array of [width, height] defining the size
|
|
|
|
* of the clip rectangle.
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setClip(size) {
|
2010-05-11 15:00:07 -04:00
|
|
|
if (size) {
|
|
|
|
// Take a chunk out of the crosshairs where it intersects the
|
|
|
|
// mouse.
|
|
|
|
this._clipSize = size;
|
|
|
|
this.reCenter();
|
2019-01-29 16:02:57 -05:00
|
|
|
} else {
|
2010-05-11 15:00:07 -04:00
|
|
|
// Restore the missing chunk.
|
|
|
|
this._clipSize = [0, 0];
|
|
|
|
this.reCenter();
|
|
|
|
}
|
2019-01-29 14:36:54 -05:00
|
|
|
}
|
2010-05-11 15:00:07 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* reCenter:
|
|
|
|
* Reposition the horizontal and vertical hairs such that they cross at
|
|
|
|
* the center of crosshairs group. If called with the dimensions of
|
|
|
|
* the clip rectangle, these are used to update the size of the clip.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {number[]=} clipSize: If present, the clip's [width, height].
|
2010-05-11 15:00:07 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
reCenter(clipSize) {
|
2019-07-16 05:24:13 -04:00
|
|
|
let [groupWidth, groupHeight] = this.get_size();
|
2010-05-11 15:00:07 -04:00
|
|
|
let leftLength = this._horizLeftHair.get_width();
|
|
|
|
let topLength = this._vertTopHair.get_height();
|
|
|
|
let thickness = this._horizLeftHair.get_height();
|
|
|
|
|
|
|
|
// Deal with clip rectangle.
|
|
|
|
if (clipSize)
|
|
|
|
this._clipSize = clipSize;
|
|
|
|
let clipWidth = this._clipSize[0];
|
|
|
|
let clipHeight = this._clipSize[1];
|
|
|
|
|
2020-02-06 04:38:50 -05:00
|
|
|
let left = groupWidth / 2 - clipWidth / 2 - leftLength - thickness / 2;
|
|
|
|
let right = groupWidth / 2 + clipWidth / 2 + thickness / 2;
|
|
|
|
let top = groupHeight / 2 - clipHeight / 2 - topLength - thickness / 2;
|
|
|
|
let bottom = groupHeight / 2 + clipHeight / 2 + thickness / 2;
|
2010-05-11 15:00:07 -04:00
|
|
|
this._horizLeftHair.set_position(left, (groupHeight - thickness) / 2);
|
|
|
|
this._horizRightHair.set_position(right, (groupHeight - thickness) / 2);
|
|
|
|
this._vertTopHair.set_position((groupWidth - thickness) / 2, top);
|
|
|
|
this._vertBottomHair.set_position((groupWidth - thickness) / 2, bottom);
|
|
|
|
}
|
2019-07-16 05:24:13 -04:00
|
|
|
});
|
2012-03-12 15:52:41 -04:00
|
|
|
|
2017-10-30 21:19:44 -04:00
|
|
|
var MagShaderEffects = class MagShaderEffects {
|
|
|
|
constructor(uiGroupClone) {
|
2012-04-04 11:10:31 -04:00
|
|
|
this._inverse = new Shell.InvertLightnessEffect();
|
2012-03-12 15:52:41 -04:00
|
|
|
this._brightnessContrast = new Clutter.BrightnessContrastEffect();
|
2012-07-24 12:59:47 -04:00
|
|
|
this._colorDesaturation = new Clutter.DesaturateEffect();
|
2012-04-04 11:10:31 -04:00
|
|
|
this._inverse.set_enabled(false);
|
2012-03-12 15:52:41 -04:00
|
|
|
this._brightnessContrast.set_enabled(false);
|
|
|
|
|
|
|
|
this._magView = uiGroupClone;
|
2012-04-04 11:10:31 -04:00
|
|
|
this._magView.add_effect(this._inverse);
|
2012-03-12 15:52:41 -04:00
|
|
|
this._magView.add_effect(this._brightnessContrast);
|
2012-07-24 12:59:47 -04:00
|
|
|
this._magView.add_effect(this._colorDesaturation);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2012-03-12 15:52:41 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* destroyEffects:
|
|
|
|
* Remove contrast and brightness effects from the magnified view, and
|
|
|
|
* lose the reference to the actor they were applied to. Don't use this
|
|
|
|
* object after calling this.
|
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
destroyEffects() {
|
2012-03-12 15:52:41 -04:00
|
|
|
this._magView.clear_effects();
|
2012-07-24 12:59:47 -04:00
|
|
|
this._colorDesaturation = null;
|
2012-03-12 15:52:41 -04:00
|
|
|
this._brightnessContrast = null;
|
2012-04-04 11:10:31 -04:00
|
|
|
this._inverse = null;
|
2012-03-12 15:52:41 -04:00
|
|
|
this._magView = null;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2012-03-12 15:52:41 -04:00
|
|
|
|
2012-04-04 11:10:31 -04:00
|
|
|
/**
|
|
|
|
* setInvertLightness:
|
|
|
|
* Enable/disable invert lightness effect.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {bool} invertFlag: Enabled flag.
|
2012-04-04 11:10:31 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setInvertLightness(invertFlag) {
|
2012-04-04 11:10:31 -04:00
|
|
|
this._inverse.set_enabled(invertFlag);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2012-04-04 11:10:31 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
setColorSaturation(factor) {
|
2012-07-24 12:59:47 -04:00
|
|
|
this._colorDesaturation.set_factor(1.0 - factor);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2012-06-01 08:36:47 -04:00
|
|
|
|
2012-03-12 15:52:41 -04:00
|
|
|
/**
|
|
|
|
* setBrightness:
|
|
|
|
* Set the brightness of the magnified view.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {Object} brightness: Object containing the contrast for the
|
|
|
|
* red, green, and blue channels. Values of 0.0 represent "standard"
|
|
|
|
* brightness (no change), whereas values less or greater than
|
|
|
|
* 0.0 indicate decreased or incresaed brightness, respectively.
|
|
|
|
*
|
|
|
|
* {number} brightness.r - the red component
|
|
|
|
* {number} brightness.g - the green component
|
|
|
|
* {number} brightness.b - the blue component
|
2012-03-12 15:52:41 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setBrightness(brightness) {
|
2012-03-12 15:52:41 -04:00
|
|
|
let bRed = brightness.r;
|
|
|
|
let bGreen = brightness.g;
|
|
|
|
let bBlue = brightness.b;
|
|
|
|
this._brightnessContrast.set_brightness_full(bRed, bGreen, bBlue);
|
|
|
|
|
|
|
|
// Enable the effect if the brightness OR contrast change are such that
|
|
|
|
// it modifies the brightness and/or contrast.
|
|
|
|
let [cRed, cGreen, cBlue] = this._brightnessContrast.get_contrast();
|
|
|
|
this._brightnessContrast.set_enabled(
|
2020-04-03 19:52:29 -04:00
|
|
|
bRed !== NO_CHANGE || bGreen !== NO_CHANGE || bBlue !== NO_CHANGE ||
|
|
|
|
cRed !== NO_CHANGE || cGreen !== NO_CHANGE || cBlue !== NO_CHANGE);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2012-03-12 15:52:41 -04:00
|
|
|
|
|
|
|
/**
|
|
|
|
* Set the contrast of the magnified view.
|
2019-10-17 12:41:52 -04:00
|
|
|
* @param {Object} contrast: Object containing the contrast for the
|
|
|
|
* red, green, and blue channels. Values of 0.0 represent "standard"
|
|
|
|
* contrast (no change), whereas values less or greater than
|
|
|
|
* 0.0 indicate decreased or incresaed contrast, respectively.
|
|
|
|
*
|
|
|
|
* {number} contrast.r - the red component
|
|
|
|
* {number} contrast.g - the green component
|
|
|
|
* {number} contrast.b - the blue component
|
2012-03-12 15:52:41 -04:00
|
|
|
*/
|
2017-10-30 20:03:21 -04:00
|
|
|
setContrast(contrast) {
|
2012-03-12 15:52:41 -04:00
|
|
|
let cRed = contrast.r;
|
|
|
|
let cGreen = contrast.g;
|
|
|
|
let cBlue = contrast.b;
|
|
|
|
|
|
|
|
this._brightnessContrast.set_contrast_full(cRed, cGreen, cBlue);
|
|
|
|
|
|
|
|
// Enable the effect if the contrast OR brightness change are such that
|
|
|
|
// it modifies the brightness and/or contrast.
|
|
|
|
// should be able to use Clutter.color_equal(), but that complains of
|
|
|
|
// a null first argument.
|
|
|
|
let [bRed, bGreen, bBlue] = this._brightnessContrast.get_brightness();
|
|
|
|
this._brightnessContrast.set_enabled(
|
2020-04-03 19:52:29 -04:00
|
|
|
cRed !== NO_CHANGE || cGreen !== NO_CHANGE || cBlue !== NO_CHANGE ||
|
|
|
|
bRed !== NO_CHANGE || bGreen !== NO_CHANGE || bBlue !== NO_CHANGE);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
|
|
|
};
|