diff --git a/collects/redex/private/stepper.ss b/collects/redex/private/stepper.ss index a819844bce..a13658825f 100644 --- a/collects/redex/private/stepper.ss +++ b/collects/redex/private/stepper.ss @@ -647,6 +647,7 @@ todo: (move-to dot-snip (* n dot-spacing) y) ;; also do the move to (loop (cdr nodes) (+ y dot-spacing)))]))) (loop (+ n 1))))))) + (send this set-flip-labels? #f) (super-new) (inherit set-draw-arrow-heads?) (set-draw-arrow-heads? #f))) diff --git a/collects/redex/private/traces.ss b/collects/redex/private/traces.ss index 116c38c086..4e2ebcf152 100644 --- a/collects/redex/private/traces.ss +++ b/collects/redex/private/traces.ss @@ -245,7 +245,12 @@ (define exprs (if multiple? pre-exprs (list pre-exprs))) (define main-eventspace (current-eventspace)) (define saved-parameterization (current-parameterization)) - (define graph-pb (new (extra-graph-pasteboard-mixin graph-pasteboard%) [layout layout] [edge-label-font edge-label-font] [edge-labels? edge-labels?])) + (define graph-pb + (let ([pb (new (extra-graph-pasteboard-mixin graph-pasteboard%) + [layout layout] [edge-label-font edge-label-font] + [edge-labels? edge-labels?])]) + (send pb set-flip-labels? #f) + pb)) (define user-char-width (initial-char-width)) (define f (instantiate red-sem-frame% () (label "PLT Redex Reduction Graph")