redex: combine picts with htl-append instead of hbl-append for metafunction rendering

svn: r18487
This commit is contained in:
Matthew Flatt 2010-03-08 21:31:02 +00:00
parent 99638b8853
commit 5f8e4b46fe

View File

@ -828,11 +828,11 @@
(if linebreak?
(list lhs (blank) (blank))
(if (and sc (eq? style 'left-right/beside-side-conditions))
(list lhs =-pict (hbl-append 10 rhs sc))
(list lhs =-pict (htl-append 10 rhs sc))
(list lhs =-pict rhs)))
(if linebreak?
(let ([p rhs])
(list (hbl-append sep
(list (htl-append sep
=-pict
(inset p 0 0 (- 5 (pict-width p)) 0))
(blank)
@ -863,7 +863,7 @@
(apply append
(map (lambda (lhs sc rhs)
(cons
(vl-append (hbl-append lhs =-pict) rhs)
(vl-append (htl-append lhs =-pict) rhs)
(if (not sc)
null
(list (inset sc 0 0 (- 5 (pict-width sc)) 0)))))