From cef9f90c27535b11fc6c70022885f8f170620a6d Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 22 Jan 2011 13:30:05 -0700 Subject: [PATCH] gtk: remove debugging printf --- collects/mred/private/wx/gtk/menu.rkt | 1 - 1 file changed, 1 deletion(-) diff --git a/collects/mred/private/wx/gtk/menu.rkt b/collects/mred/private/wx/gtk/menu.rkt index befde7ac45..3536dad568 100644 --- a/collects/mred/private/wx/gtk/menu.rkt +++ b/collects/mred/private/wx/gtk/menu.rkt @@ -166,7 +166,6 @@ (cb this e))))))) (define/private (adjust-shortcut item-gtk title) - (printf "~s\n" title) (let ([m (regexp-match #rx"\t(Ctrl[+])?(Shift[+])?(Meta[+])?(Alt[+])?(.|[0-9]+)$" title)]) (when m