add a 'Racket Documentation' menu item to drracket
This commit is contained in:
parent
fd9a3e3926
commit
135e3ee14d
|
@ -653,9 +653,11 @@
|
|||
(make-help-desk-menu-item help-menu)))
|
||||
|
||||
(define (make-help-desk-menu-item help-menu)
|
||||
(make-object menu-item%
|
||||
(string-constant help-desk)
|
||||
help-menu
|
||||
(λ (item evt)
|
||||
(help:help-desk)
|
||||
#t)))
|
||||
(define (docs-menu-item label)
|
||||
(new menu-item%
|
||||
[label label]
|
||||
[parent help-menu]
|
||||
[callback (λ (item evt) (help:help-desk) #t)]))
|
||||
(docs-menu-item (string-constant racket-documentation))
|
||||
(new separator-menu-item% [parent help-menu])
|
||||
(docs-menu-item (string-constant help-desk)))
|
||||
|
|
|
@ -328,6 +328,7 @@ please adhere to these guidelines:
|
|||
|
||||
;; Help Desk
|
||||
(help "Help")
|
||||
(racket-documentation "Racket Documentation")
|
||||
(help-desk "Help Desk")
|
||||
(plt:hd:search "Search")
|
||||
(plt:hd:feeling-lucky "Feeling Lucky")
|
||||
|
|
Loading…
Reference in New Issue
Block a user