From f1e7c7e4b0338c3e07c260d097ec3ef5a031c373 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 22 Feb 2010 18:04:04 +0000 Subject: [PATCH] Probably fix for PR 10773 svn: r18264 --- collects/framework/private/menu.ss | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/collects/framework/private/menu.ss b/collects/framework/private/menu.ss index 17417bed77..81eab518aa 100644 --- a/collects/framework/private/menu.ss +++ b/collects/framework/private/menu.ss @@ -33,9 +33,11 @@ (mixin (labelled-menu-item<%>) (can-restore-underscore<%>) (inherit get-label get-plain-label) (define/override (set-label nl) - (unless dont-save - (set! saved-label nl)) - (super set-label nl)) + (super set-label nl) + (unless dont-save + (set! saved-label nl) + (unless (preferences:get 'framework:menu-bindings) + (erase-underscores)))) (define/public (erase-underscores) (set! dont-save #t) (set-label (get-plain-label))