From 708228d959df53f458b24ab26bbcf22feab674bf Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 7 Aug 2012 13:03:53 -0500 Subject: [PATCH] fix double separator problem on windows --- collects/drracket/private/frame.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/drracket/private/frame.rkt b/collects/drracket/private/frame.rkt index e5b79b321b..ad5a74bc9d 100644 --- a/collects/drracket/private/frame.rkt +++ b/collects/drracket/private/frame.rkt @@ -258,7 +258,8 @@ (define/override (edit-menu:between-find-and-preferences menu) (super edit-menu:between-find-and-preferences menu) - (make-object separator-menu-item% menu) + (when (current-eventspace-has-standard-menus?) + (new separator-menu-item% [parent menu])) (let ([keybindings-on-demand (λ (menu-item) (let ([last-edit-object (get-edit-target-window)])