Skip to content

Commit ebd6761

Browse files
committed
configure doc language family for HtDP languages
As a first step, set "fam=HtDP" so that searches prioritize matches in the HtDP languages.
1 parent 2b2a070 commit ebd6761

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

htdp-lib/htdp/bsl/reader.rkt

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -41,5 +41,8 @@
4141
'(macro-stepper drracket:syncheck))]
4242

4343
[(drracket:show-big-defs/ints-labels) #t]
44+
45+
[(documentation-language-family)
46+
(hash 'doc-query (hash 'fam "HtDP"))]
4447

4548
[else (use-default key default)]))

0 commit comments

Comments
 (0)