From 61350a0960da2663f6adf7e44c58577d151ccb02 Mon Sep 17 00:00:00 2001 From: Fmstrat Date: Thu, 2 Jan 2020 17:38:47 -0500 Subject: [PATCH] Fix drag resize when mouse support turned off --- extension.js | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/extension.js b/extension.js index 1cfd83b..f16018f 100644 --- a/extension.js +++ b/extension.js @@ -573,12 +573,12 @@ function checkForMove(curFrameBefore, app) { function windowGrabBegin(meta_display, meta_screen, meta_window, meta_grab_op, gpointer) { _log('windowGrabBegin') + windowMoving = true; + var app = global.display.focus_window; + if (app.wintile) { + checkForMove(app.get_frame_rect(), app); + } if (meta_window.resizeable && config.preview.enabled) { - windowMoving = true; - var app = global.display.focus_window; - if (app.wintile) { - checkForMove(app.get_frame_rect(), app); - } Mainloop.timeout_add(500, function () { checkIfNearGrid(app); }); @@ -587,8 +587,8 @@ function windowGrabBegin(meta_display, meta_screen, meta_window, meta_grab_op, g function windowGrabEnd(meta_display, meta_screen, meta_window, meta_grab_op, gpointer) { _log('windowGrabEnd') + windowMoving = false; if (meta_window.resizeable && config.preview.enabled) { - windowMoving = false; if (preview.visible == true) { var app = global.display.focus_window; if (!app.wintile)