suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Re-enable context searches for the htdp languages, with results that

Browse Source 
come from the language or the teachpacks.

svn: r16945
This commit is contained in:
Eli Barzilay 2009-11-21 22:05:28 +00:00
parent 65be0295cf
commit 09c8baf7e7
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/lang/htdp-langs.ss
View File

@ -514,16 +514,13 @@
keywords]
[(drscheme:teachpack-menu-items) htdp-teachpack-callbacks]
[(drscheme:special:insert-lambda) #f]
#;
;; FIXME: disable context for now, re-enable when it is possible
;; to have the context search the teachpack manual too.
[(drscheme:help-context-term)
(let* ([m (get-module)]
[m (and m (pair? m) (pair? (cdr m)) (cadr m))]
[m (and m (regexp-match #rx"^(lang/[^/.]+).ss$" m))]
[m (and m (cadr m))])
(if m
(format "L:~a" m)
(format "O:{ L:~a T:teachpack }" m)
(error 'drscheme:help-context-term
"internal error: unexpected module spec")))]
[(tests:test-menu tests:dock-menu) #t]