restored word completion for the full languages (not teaching languages yet)
svn: r8018
This commit is contained in:
parent
9a0498b44d
commit
f790d7e10e
|
@ -1333,7 +1333,7 @@
|
|||
(let ([words #f])
|
||||
(λ ()
|
||||
(unless words
|
||||
(set! words (text:get-completions/manuals #f)))
|
||||
(set! words (text:get-completions/manuals '(scheme/base scheme/contract))))
|
||||
words)))
|
||||
|
||||
;; add-built-in-languages : -> void
|
||||
|
|
|
@ -82,11 +82,12 @@
|
|||
""
|
||||
"Defaults to 15.")
|
||||
(text:get-completions/manuals
|
||||
(-> (listof string?) (listof string?))
|
||||
(-> (or/c false/c (listof symbol?)) (listof string?))
|
||||
(manuals)
|
||||
"Returns the list of keywords for the manuals from \\var{manuals}"
|
||||
"by reading them from the \\texttt{keywords}"
|
||||
"files in the corresponding manuals' directories")
|
||||
"by extracting all of the documented exports of the manuals."
|
||||
"The symbols are meant to be module paths."
|
||||
"If \\var{manuals} is false, then all of the documented names are used.")
|
||||
|
||||
(number-snip:make-repeating-decimal-snip
|
||||
(number? boolean? . -> . (is-a?/c snip%))
|
||||
|
|
File diff suppressed because it is too large
Load Diff
|
@ -578,7 +578,7 @@
|
|||
(case key
|
||||
[(drscheme:autocomplete-words)
|
||||
(unless keywords
|
||||
(set! keywords (text:get-completions/manuals (map bytes->string/utf-8 (htdp-manuals)))))
|
||||
(set! keywords (text:get-completions/manuals #f))) ;; complete with everything, which is wrong ..
|
||||
keywords]
|
||||
[(drscheme:teachpack-menu-items) htdp-teachpack-callbacks]
|
||||
[(drscheme:special:insert-lambda) #f]
|
||||
|
@ -1392,7 +1392,7 @@
|
|||
(instantiate htdp-language% ()
|
||||
(one-line-summary (string-constant advanced-one-line-summary))
|
||||
(module '(lib "lang/htdp-advanced.ss"))
|
||||
(manual #"advanced")
|
||||
( #"advanced")
|
||||
(language-position
|
||||
(list (string-constant teaching-languages)
|
||||
(string-constant how-to-design-programs)
|
||||
|
|
Loading…
Reference in New Issue
Block a user