From d28c89f50e00dca11e5ebd62f51b954c7f2f6a0e Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 14 Nov 2002 15:24:39 +0000 Subject: [PATCH] .. original commit: bdfadd5b93eee2bea2e718c585b1b1e2d01b99bf --- collects/drscheme/private/syntax-browser.ss | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/collects/drscheme/private/syntax-browser.ss b/collects/drscheme/private/syntax-browser.ss index 48702419..3d316087 100644 --- a/collects/drscheme/private/syntax-browser.ss +++ b/collects/drscheme/private/syntax-browser.ss @@ -150,8 +150,15 @@ needed to really make this work: (pretty-print (replace-syntaxes info) info-port)) (optional-newline) - (newline info-port)) + (small-newline info-port info-text)) + (define (small-newline port text) + (let ([before-newline (send text last-position)]) + (newline port) + (send info-text change-style small-style before-newline (+ before-newline 1)))) + + (define small-style (make-object style-delta% 'change-size 4)) + (define (replace-syntaxes obj) (cond [(cons? obj) (cons (replace-syntaxes (car obj))