Commit 6f9aaafc2d92b2db45398ba8cc19000921172d6b Parent: bd483b7e9267edcbb8ce0f73d5717d4aed82cc13 Author: mcol <mcol@posteo.net> Date: 2021-03-01 15:27:07 +0000 Committer: mcol <mcol@posteo.net> Committed: 2021-03-01 15:27:07 +0000 scale snapped views by zoom
src/cursor.c Modified
@@ -432,10 +432,11 @@ if (wimp.grabbed_view) { if (try_snap()) { int border_width = wimp.current_desk->border_width; - wimp.snap_geobox.x += border_width; - wimp.snap_geobox.y += border_width; - wimp.snap_geobox.width -= border_width * 2; - wimp.snap_geobox.height -= border_width * 2; + double zoom = wimp.current_desk->zoom; + wimp.snap_geobox.x = (wimp.snap_geobox.x + border_width) / zoom; + wimp.snap_geobox.y = (wimp.snap_geobox.y + border_width) / zoom; + wimp.snap_geobox.width = (wimp.snap_geobox.width - border_width * 2) / zoom; + wimp.snap_geobox.height = (wimp.snap_geobox.height - border_width * 2) / zoom; view_apply_geometry(wimp.grabbed_view, &wimp.snap_geobox); } wimp.grabbed_view = NULL;