PaperWM/gestures.js
2020-08-15 15:28:25 +02:00

387 lines
12 KiB
JavaScript

var Extension;
if (imports.misc.extensionUtils.extensions) {
Extension = imports.misc.extensionUtils.extensions["paperwm@hedning:matrix.org"];
} else {
Extension = imports.ui.main.extensionManager.lookup("paperwm@hedning:matrix.org");
}
var gliding = false;
var Meta = imports.gi.Meta;
var St = imports.gi.St;
var Gio = imports.gi.Gio;
var PanelMenu = imports.ui.panelMenu;
var PopupMenu = imports.ui.popupMenu;
var Clutter = imports.gi.Clutter;
var Main = imports.ui.main;
var Shell = imports.gi.Shell;
var Tweener = Extension.imports.utils.tweener;
var Utils = Extension.imports.utils;
var Tiling = Extension.imports.tiling;
var Navigator = Extension.imports.navigator;
var prefs = Extension.imports.settings.prefs;
const stage = global.stage;
var signals;
function init() {
signals = new Utils.Signals();
}
const DIRECTIONS = {
Horizontal: true,
Vertical: false,
}
var vy;
var time;
var vState;
var navigator;
var direction = undefined;
function enable() {
// Touchpad swipes only works in Wayland
if (!Meta.is_wayland_compositor())
return;
signals.destroy();
/**
In order for the space.background actors to get any input we need to hide
all the window actors from the stage.
The stage takes care of scrolling vertically through the workspace mru.
Delegating the horizontal scrolling to each space. This way vertical
scrolling works anywhere, while horizontal scrolling is done on the space
under the mouse cursor.
*/
signals.connect(stage, 'captured-event', (actor, event) => {
if (event.type() !== Clutter.EventType.TOUCHPAD_SWIPE ||
event.get_touchpad_gesture_finger_count() < 3 ||
(Main.actionMode & Shell.ActionMode.OVERVIEW) > 0) {
return Clutter.EVENT_PROPAGATE;
}
const phase = event.get_gesture_phase();
switch (phase) {
case Clutter.TouchpadGesturePhase.UPDATE:
if (direction === DIRECTIONS.Horizontal) {
return Clutter.EVENT_PROPAGATE;
}
let [dx, dy] = event.get_gesture_motion_delta();
if (direction === undefined) {
if (Math.abs(dx) < Math.abs(dy)) {
vy = 0;
vState = phase;
direction = DIRECTIONS.Vertical;
}
}
if (direction === DIRECTIONS.Vertical) {
updateVertical(-dy*prefs.swipe_sensitivity[1], event.get_time());
return Clutter.EVENT_STOP;
}
return Clutter.EVENT_PROPAGATE;
case Clutter.TouchpadGesturePhase.BEGIN:
time = event.get_time();
direction = undefined;
navigator = Navigator.getNavigator();
navigator.connect('destroy', () => {
vState = -1;
});
return Clutter.EVENT_STOP;
case Clutter.TouchpadGesturePhase.CANCEL:
case Clutter.TouchpadGesturePhase.END:
if (direction === DIRECTIONS.Vertical) {
vState = phase;
endVertical();
return Clutter.EVENT_STOP;
}
};
return Clutter.EVENT_PROPAGATE;
});
}
function disable() {
signals.destroy();
}
/**
Handle scrolling horizontally in a space. The handler is meant to be
connected from each space.background and bound to the space.
*/
let start, dxs = [], dts = [];
function horizontalScroll(actor, event) {
if (event.type() !== Clutter.EventType.TOUCHPAD_SWIPE ||
event.get_touchpad_gesture_finger_count() < 3) {
return Clutter.EVENT_PROPAGATE;
}
const phase = event.get_gesture_phase();
switch (phase) {
case Clutter.TouchpadGesturePhase.UPDATE:
let [dx, dy] = event.get_gesture_motion_delta();
if (direction === undefined) {
this.vx = 0;
dxs = [];
dts = [];
this.hState = phase;
start = this.targetX;
Tweener.removeTweens(this.cloneContainer);
direction = DIRECTIONS.Horizontal;
}
return update(this, -dx*prefs.swipe_sensitivity[0], event.get_time());
case Clutter.TouchpadGesturePhase.CANCEL:
case Clutter.TouchpadGesturePhase.END:
this.hState = phase;
done(this, event);
dxs = [];
dts = [];
return Clutter.EVENT_STOP;
}
}
function update(space, dx, t) {
dxs.push(dx);
dts.push(t);
space.cloneContainer.x -= dx;
space.targetX = space.cloneContainer.x;
// Check which target windew will be selected if we releas the swipe at this
// moment
dx = Utils.sum(dxs.slice(-3));
let v = dx/(t - dts.slice(-3)[0]);
if (Number.isFinite(v)) {
space.vx = v;
}
let accel = prefs.swipe_friction[0]/16; // px/ms^2
accel = space.vx > 0 ? -accel : accel;
let duration = -space.vx/accel;
let d = space.vx*duration + .5*accel*duration**2;
let target = Math.round(space.targetX - d);
space.targetX = target;
let selected = findTargetWindow(space, direction, start - space.targetX > 0);
space.targetX = space.cloneContainer.x;
Tiling.updateSelection(space, selected);
space.selectedWindow = selected;
space.emit('select');
return Clutter.EVENT_STOP;
}
function done(space) {
if (!Number.isFinite(space.vx) || space.length === 0) {
navigator.finish();
space.hState = -1;
return Clutter.EVENT_STOP;
}
let startGlide = space.targetX;
// timetravel
let accel = prefs.swipe_friction[0]/16; // px/ms^2
accel = space.vx > 0 ? -accel : accel;
let t = -space.vx/accel;
let d = space.vx*t + .5*accel*t**2;
let target = Math.round(space.targetX - d);
let mode = Clutter.AnimationMode.EASE_OUT_QUAD;
let first;
let last;
let full = space.cloneContainer.width > space.width;
// Only snap to the edges if we started gliding when the viewport is fully covered
let snap = !(0 <= space.targetX ||
space.targetX + space.cloneContainer.width <= space.width);
if ((snap && target > 0)
|| (full && target > space.width*2)) {
// Snap to left edge
first = space[0][0];
target = 0;
mode = Clutter.AnimationMode.EASE_OUT_BACK;
} else if ((snap && target + space.cloneContainer.width < space.width)
|| (full && target + space.cloneContainer.width < -space.width)) {
// Snap to right edge
last = space[space.length-1][0];
target = space.width - space.cloneContainer.width;
mode = Clutter.AnimationMode.EASE_OUT_BACK;
}
// Adjust for target window
let selected;
space.targetX = Math.round(target);
selected = last || first || findTargetWindow(space, start - target > 0 );
delete selected.lastFrame; // Invalidate frame information
let x = Tiling.ensuredX(selected, space);
target = x - selected.clone.targetX;
// Scale down travel time if we've cut down the discance to travel
let newD = Math.abs(startGlide - target);
if (newD < Math.abs(d))
t = t*Math.abs(newD/d);
// Use a minimum duration if we've adjusted travel
if (target !== space.targetX || mode === Clutter.AnimationMode.EASE_OUT_BACK) {
t = Math.max(t, 200);
}
space.targetX = target;
Tiling.updateSelection(space, selected);
space.selectedWindow = selected;
space.emit('select');
gliding = true;
Tweener.addTween(space.cloneContainer, {
x: space.targetX,
duration: t,
mode,
onStopped: () => {
gliding = false;
},
onComplete: () => {
if (!Tiling.inPreview)
Navigator.getNavigator().finish();
}
});
}
function findTargetWindow(space, direction) {
let selected = space.selectedWindow.clone;
if (selected.x + space.targetX >= 0 &&
selected.x + selected.width + space.targetX <= space.width) {
return selected.meta_window;
}
selected = selected && space.selectedWindow;
let workArea = space.workArea();
let min = workArea.x;
let windows = space.getWindows().filter(w => {
let clone = w.clone;
let x = clone.targetX + space.targetX;
return !(x + clone.width < min
|| x > min + workArea.width);
});
if (!direction) // scroll left
windows.reverse();
let visible = windows.filter(w => {
let clone = w.clone;
let x = clone.targetX + space.targetX;
return x >= 0 &&
x + clone.width <= min + workArea.width;
});
if (visible.length > 0) {
return visible[0];
}
if (windows.length === 0) {
let first = space.getWindow(0, 0);
let last = space.getWindow(space.length - 1, 0);
if (direction) {
return last;
} else {
return first;
}
}
if (windows.length === 1)
return windows[0];
let closest = windows[0].clone;
let next = windows[1].clone;
let r1, r2;
if (direction) { // ->
r1 = Math.abs(closest.targetX + closest.width + space.targetX)/closest.width;
r2 = Math.abs(next.targetX + space.targetX - space.width)/next.width;
} else {
r1 = Math.abs(closest.targetX + space.targetX - space.width)/closest.width;
r2 = Math.abs(next.targetX + next.width + space.targetX)/next.width;
}
// Choose the window the most visible width (as a ratio)
if (r1 > r2)
return closest.meta_window;
else
return next.meta_window;
}
var transition = 'easeOutQuad';
function updateVertical(dy, t) {
if (!Tiling.inPreview) {
Tiling.spaces._initWorkspaceStack();
}
let selected = Tiling.spaces.selectedSpace;
let monitor = navigator.monitor;
let v = dy/(t - time);
time = t;
const StackPositions = Tiling.StackPositions;
if (dy > 0
&& selected !== navigator.from
&& (selected.actor.y - dy < StackPositions.up*monitor.height)
) {
dy = 0;
vy = 1;
selected.actor.y = StackPositions.up*selected.height;
Tiling.spaces.selectStackSpace(Meta.MotionDirection.UP, false, transition);
selected = Tiling.spaces.selectedSpace;
Tweener.removeTweens(selected.actor);
Tweener.addTween(selected.actor, {scale_x: 0.9, scale_y: 0.9, time:
prefs.animation_time, transition});
} else if (dy < 0
&& (selected.actor.y - dy > StackPositions.down*monitor.height)) {
dy = 0;
vy = -1;
selected.actor.y = StackPositions.down*selected.height;
Tiling.spaces.selectStackSpace(Meta.MotionDirection.DOWN, false, transition);
selected = Tiling.spaces.selectedSpace;
Tweener.removeTweens(selected.actor);
Tweener.addTween(selected.actor, {scale_x: 0.9, scale_y: 0.9, time:
prefs.animation_time, transition});
} else if (Number.isFinite(v)) {
vy = v;
}
selected.actor.y -= dy;
if (selected === navigator.from) {
let scale = 0.90;
let s = 1 - (1 - scale)*(selected.actor.y/(0.1*monitor.height));
s = Math.max(s, scale);
Tweener.removeTweens(selected.actor);
selected.actor.set_scale(s, s);
}
}
function endVertical() {
let test = vy > 0 ?
() => vy < 0 :
() => vy > 0;
let glide = () => {
if (vState < Clutter.TouchpadGesturePhase.END)
return false;
if (!Number.isFinite(vy)) {
return false;
}
let selected = Tiling.spaces.selectedSpace;
let y = selected.actor.y;
if (selected === navigator.from && y <= 0.1*selected.height) {
navigator.finish();
return false;
}
if (test()) {
return false;
}
let dy = vy*16;
let v = vy;
let accel = prefs.swipe_friction[1];
accel = v > 0 ? -accel : accel;
updateVertical(dy, time + 16);
vy = vy + accel;
return true; // repeat
};
imports.mainloop.timeout_add(16, glide, 0);
}