fix scribble/doc reader's get-info
svn: r16574
This commit is contained in:
parent
26ff29b12f
commit
8f62218de5
|
@ -4,8 +4,8 @@
|
||||||
get-info)
|
get-info)
|
||||||
|
|
||||||
(define (get-info . args)
|
(define (get-info . args)
|
||||||
(lambda (key)
|
(lambda (key defval)
|
||||||
(case key
|
(case key
|
||||||
[(color-lexer)
|
[(color-lexer)
|
||||||
(dynamic-require 'syntax-color/scribble-lexer 'scribble-inside-lexer)]
|
(dynamic-require 'syntax-color/scribble-lexer 'scribble-inside-lexer)]
|
||||||
[else #f])))
|
[else defval])))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user