From 262931bb8054ab2c82bb0b6c2d7c9fb91f8c4523 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 14 Jan 2012 21:20:28 -0600 Subject: [PATCH] adjust typesetting so the ellipsis uses the default style, not literal-style (unless an atomic-rewriter is in place) --- collects/redex/private/core-layout.rkt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/collects/redex/private/core-layout.rkt b/collects/redex/private/core-layout.rkt index 941e8f06bb..7366109d00 100644 --- a/collects/redex/private/core-layout.rkt +++ b/collects/redex/private/core-layout.rkt @@ -53,15 +53,15 @@ (struct-out line) current-text) - (define STIX? #f) ;; atomic-rewrite-table : (parameter (listof (list symbol (union string pict)))) (define atomic-rewrite-table (make-parameter - `((... ,(if STIX? - (basic-text "\u22ef" (default-style)) - "...")) + `((... ,(λ () + (if STIX? + (basic-text "\u22ef" (default-style)) + (basic-text "..." (default-style))))) (hole "[]")))) (define-syntax (with-atomic-rewriter stx)