From 2963442bded6ce16f0f14ad3a932bf0c3db0b836 Mon Sep 17 00:00:00 2001 From: Ryan Culpepper Date: Thu, 18 Apr 2013 12:00:05 -0400 Subject: [PATCH] add file menu items to macro stepper frames closes PR 13698 original commit: c764ee0ac3b77b4cf47aa2a90662ed58277d5bc3 --- collects/macro-debugger/view/frame.rkt | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/collects/macro-debugger/view/frame.rkt b/collects/macro-debugger/view/frame.rkt index a5aec44..18518e7 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"