From 4358d22a0ab1aaf142e78fb3d6aff2aee3eb94f1 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 25 Nov 2015 08:46:37 -0700 Subject: [PATCH] disable scroll via copy Sometimes doesn't work right, as illustrated by PR 15186 --- gui-lib/mred/private/wxme/editor-canvas.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gui-lib/mred/private/wxme/editor-canvas.rkt b/gui-lib/mred/private/wxme/editor-canvas.rkt index 82248a70..c3490e06 100644 --- a/gui-lib/mred/private/wxme/editor-canvas.rkt +++ b/gui-lib/mred/private/wxme/editor-canvas.rkt @@ -157,7 +157,7 @@ (define (keep-style l s) (if (memq s l) (list s) null)) -(define SCROLL-VIA-COPY? #t) +(define SCROLL-VIA-COPY? #f) (defclass editor-canvas% canvas%