From ca930a8e30de3beafa806f3ac82358809f7ddeff Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 4 Oct 2010 12:49:52 -0500 Subject: [PATCH] removed some bogus code --- collects/drracket/private/syncheck/traversals.rkt | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/collects/drracket/private/syncheck/traversals.rkt b/collects/drracket/private/syncheck/traversals.rkt index d1643a9b0d..64f156ddaf 100644 --- a/collects/drracket/private/syncheck/traversals.rkt +++ b/collects/drracket/private/syncheck/traversals.rkt @@ -1137,18 +1137,6 @@ #t 'none))))) - - (let ([admin (send src get-admin)]) - (when admin - (let-values ([(w h) (send admin get-view-size)] - [(x y) (send src position-location (- pos 1))]) - (send src scroll-editor-to - (max 0 (- x (* .1 w))) - (max 0 (- y (* .1 h))) - w h - #t - 'none)))) - (send src set-position (- pos 1) (+ pos span -1)) (send src end-edit-sequence))))