From 79128627d281a201356b7e8f7cff9dda0d705e16 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 25 Nov 2015 16:14:13 -0700 Subject: [PATCH] avoid scrolling too far for scroll-via-copy But scroll-via-copy is still not enabled. --- gui-lib/mred/private/wxme/editor-canvas.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/gui-lib/mred/private/wxme/editor-canvas.rkt b/gui-lib/mred/private/wxme/editor-canvas.rkt index c3490e06..60c9459d 100644 --- a/gui-lib/mred/private/wxme/editor-canvas.rkt +++ b/gui-lib/mred/private/wxme/editor-canvas.rkt @@ -981,7 +981,8 @@ (let-boxes ([fx 0] [old-fy 0] [new-fy 0]) - (begin + (let ([x (min x scroll-width)] + [y (min y scroll-height)]) (convert-scroll-to-location x y fx new-fy) (convert-scroll-to-location old-x old-y #f old-fy)) (let-boxes ([vx 0][vy 0][vw 0][vh 0])