From c6f106d285e34fbddb6992ba0acd7d51260f1801 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 19 Feb 2013 17:39:17 -0600 Subject: [PATCH] remove spurious printf --- collects/drracket/private/syncheck/gui.rkt | 1 - 1 file changed, 1 deletion(-) diff --git a/collects/drracket/private/syncheck/gui.rkt b/collects/drracket/private/syncheck/gui.rkt index 822a3f6428..4bf9e733e1 100644 --- a/collects/drracket/private/syncheck/gui.rkt +++ b/collects/drracket/private/syncheck/gui.rkt @@ -1239,7 +1239,6 @@ If the namespace does not, they are colored the unbound color. (define current-matching-identifiers (set)) (define/private (update-matching-identifiers refreshing?) - (printf "mouse over pos ~s\n" cursor-pos) (define id-set (position->matching-identifier-set cursor-text cursor-pos)) (define clr "GreenYellow") (define style 'ellipse)