From 32c6ad3fd23824a790d4af3f4e72e41e13cba97e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tor=20Hedin=20Br=C3=B8nner?= Date: Sat, 25 Jan 2020 20:42:05 +0100 Subject: [PATCH] grab: remove positionChanged --- grab.js | 32 -------------------------------- 1 file changed, 32 deletions(-) diff --git a/grab.js b/grab.js index 614bfda..34e868d 100644 --- a/grab.js +++ b/grab.js @@ -306,38 +306,6 @@ var MoveGrab = class MoveGrab { } } - // positionChanged() { - // let metaWindow = this.window; - - // let [gx, gy, $] = global.get_pointer(); - - // if (this.dnd) { - // print("SHOULD NOT HAPPEND") - // // this.selectDndZone(gx, gy); // TODO: dead/obsolete? - // } else { // Move the window and scroll the space - // let space = this.initialSpace; - // let clone = metaWindow.clone; - // let frame = metaWindow.get_frame_rect(); - // // scrollAnchhor = gx - space.monitor.x - space.cloneContainer.x - // // scrollAnchhor - gx + space.monitor.x = - space.cloneContainer.x - - // space.targetX = gx - space.monitor.x - this.scrollAnchhor; - // space.cloneContainer.x = space.targetX; - - // const threshold = 300; - // const dy = Math.min(threshold, Math.abs(frame.y - this.initialY)); - // let s = 1 - Math.pow(dy / 500, 3); - // let actor = metaWindow.get_compositor_private(); - // actor.set_scale(s, s); - // clone.set_scale(s, s); - // [clone.x, clone.y] = space.globalToScroll(frame.x, frame.y); - - // if (dy >= threshold) { - // this.beginDnD(); - // } - // } - // } - // scroll(space, actor, event) { // let dir = event.get_scroll_direction(); // if (dir === Clutter.ScrollDirection.SMOOTH)