mirror of
https://github.com/gosticks/PaperWM.git
synced 2026-02-15 21:32:47 +00:00
Selecting the window under the pointer doesn't work very well when gliding. Simply ignore it for now, letting us always listen on the background in wayland.
387 lines
12 KiB
JavaScript
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);
|
|
}
|