add file menu items to macro stepper frames
closes PR 13698
This commit is contained in:
parent
e5a84eff8d
commit
c764ee0ac3
|
@ -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%)))
|
||||
|
|
|
@ -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"
|
||||
|
|
Loading…
Reference in New Issue
Block a user