diff --git a/collects/macro-debugger/tool.rkt b/collects/macro-debugger/tool.rkt index 6ee7db2b57..f53bc8c417 100644 --- a/collects/macro-debugger/tool.rkt +++ b/collects/macro-debugger/tool.rkt @@ -30,6 +30,9 @@ (define (drracket-macro-stepper-frame-mixin %) (class % + (define/override (file-menu:create-new?) #t) + (define/override (file-menu:create-open?) #t) + (define/override (file-menu:create-open-recent?) #t) (define/override (get-macro-stepper-widget%) (macro-stepper-widget/process-mixin (super get-macro-stepper-widget%))) diff --git a/collects/macro-debugger/view/frame.rkt b/collects/macro-debugger/view/frame.rkt index a5aec44e31..18518e7317 100644 --- a/collects/macro-debugger/view/frame.rkt +++ b/collects/macro-debugger/view/frame.rkt @@ -111,7 +111,9 @@ (define stepper-menu (new (get-menu%) (parent (get-menu-bar)) (label "Stepper"))) - (define/override (file-menu:between-new-and-open file-menu) + (define/override (file-menu:between-save-as-and-print file-menu) + (super file-menu:between-save-as-and-print file-menu) + (new separator-menu-item% (parent file-menu)) (new (get-menu-item%) (label "Duplicate stepper") (parent file-menu) @@ -119,7 +121,8 @@ (new (get-menu-item%) (label "Duplicate stepper (current term only)") (parent file-menu) - (callback (lambda _ (send/i widget widget<%> show-in-new-frame))))) + (callback (lambda _ (send/i widget widget<%> show-in-new-frame)))) + (new separator-menu-item% (parent file-menu))) (menu-option/notify-box stepper-menu "View syntax properties"