From 9ba5507588d454a09e04eb9ecef62240c9a42d82 Mon Sep 17 00:00:00 2001 From: dented42 Date: Sun, 16 Mar 2025 21:11:18 -0600 Subject: [PATCH] Enabled scribble toolbar Wrapped `scribble-base-info` instead of `scribble-base-reader-info` for the reader `get-info` function. This version of the info function tells DrRacket to display the scribble toolbar. --- lang/reader.rkt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/lang/reader.rkt b/lang/reader.rkt index 759dfa04..3c458ca4 100644 --- a/lang/reader.rkt +++ b/lang/reader.rkt @@ -12,12 +12,12 @@ hyper-literate/lang #:info (wrapped-scribble-base-reader-info) (require "meta-first-line.rkt" (only-in scribble/base/reader - scribble-base-reader-info + scribble-base-info scribble-base-language-info) "first-line-utils.rkt") -(define orig-scribble-base-reader-info - (scribble-base-reader-info)) +(define orig-scribble-base-info + (scribble-base-info)) (require syntax-color/scribble-lexer syntax-color/racket-lexer @@ -84,4 +84,4 @@ hyper-literate/lang [else (read/at-exp in offset x-mode)]))] [else - (orig-scribble-base-reader-info key defval default)]))) + (orig-scribble-base-info key defval default)])))