From 119c98debf03325039555d84942a2da2269bfae4 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 30 Jul 2005 17:04:51 +0000 Subject: [PATCH] only prints snips, syntax, etc specially whe the port writes specials svn: r503 --- collects/drscheme/private/language.ss | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/drscheme/private/language.ss b/collects/drscheme/private/language.ss index 2d48d217bb..720116c057 100644 --- a/collects/drscheme/private/language.ss +++ b/collects/drscheme/private/language.ss @@ -344,6 +344,7 @@ [pretty-print-size-hook (λ (value display? port) (cond + [(not (port-writes-special? port)) #f] [(is-a? value snip%) 1] [(use-number-snip? value) 1] [(syntax? value) 1]