Enabled scribble toolbar #6

Open
dented42 wants to merge 1 commits from dented42/scribble-toolbar-fix into main
Showing only changes of commit 9ba5507588 - Show all commits

View File

@ -12,12 +12,12 @@ hyper-literate/lang
#:info (wrapped-scribble-base-reader-info) #:info (wrapped-scribble-base-reader-info)
(require "meta-first-line.rkt" (require "meta-first-line.rkt"
(only-in scribble/base/reader (only-in scribble/base/reader
scribble-base-reader-info scribble-base-info
scribble-base-language-info) scribble-base-language-info)
"first-line-utils.rkt") "first-line-utils.rkt")
(define orig-scribble-base-reader-info (define orig-scribble-base-info
(scribble-base-reader-info)) (scribble-base-info))
(require syntax-color/scribble-lexer (require syntax-color/scribble-lexer
syntax-color/racket-lexer syntax-color/racket-lexer
@ -84,4 +84,4 @@ hyper-literate/lang
[else [else
(read/at-exp in offset x-mode)]))] (read/at-exp in offset x-mode)]))]
[else [else
(orig-scribble-base-reader-info key defval default)]))) (orig-scribble-base-info key defval default)])))