suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

disable set-flip-labels?

Browse Source 
svn: r14387
This commit is contained in:
Eli Barzilay 2009-03-31 14:55:12 +00:00
parent c5d2342999
commit 23a26f320c
2 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
collects/redex/private/stepper.ss
View File

@ -647,6 +647,7 @@ todo:
(move-to dot-snip (* n dot-spacing) y) ;; also do the move to (move-to dot-snip (* n dot-spacing) y) ;; also do the move to
(loop (cdr nodes) (+ y dot-spacing)))]))) (loop (cdr nodes) (+ y dot-spacing)))])))
(loop (+ n 1))))))) (loop (+ n 1)))))))
(send this set-flip-labels? #f)
(super-new) (super-new)
(inherit set-draw-arrow-heads?) (inherit set-draw-arrow-heads?)
(set-draw-arrow-heads? #f))) (set-draw-arrow-heads? #f)))

7
collects/redex/private/traces.ss
View File

@ -245,7 +245,12 @@
(define exprs (if multiple? pre-exprs (list pre-exprs))) (define exprs (if multiple? pre-exprs (list pre-exprs)))
(define main-eventspace (current-eventspace)) (define main-eventspace (current-eventspace))
(define saved-parameterization (current-parameterization)) (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 user-char-width (initial-char-width))
(define f (instantiate red-sem-frame% () (define f (instantiate red-sem-frame% ()
(label "PLT Redex Reduction Graph") (label "PLT Redex Reduction Graph")