diff --git a/collects/scribble/racket.rkt b/collects/scribble/racket.rkt index 8b9bf42703..195abc25e9 100644 --- a/collects/scribble/racket.rkt +++ b/collects/scribble/racket.rkt @@ -571,10 +571,14 @@ (if (struct-proxy? (syntax-e c)) (syntax-e (struct-proxy-name (syntax-e c))) (object-name (syntax-e c))))])]) - (set! src-col (+ src-col (string-length s))) + (set! src-col (+ src-col (if (struct-proxy? (syntax-e c)) + 1 + (string-length s)))) s) symbol-color) - (out " " no-color))) + (unless (and (struct-proxy? (syntax-e c)) + (null? (struct-proxy-content (syntax-e c)))) + (out " " no-color)))) (when (vector? (syntax-e c)) (unless (and expr? (zero? quote-depth)) (let ([vec (syntax-e c)])