make figure target rendering configurable

from Kevin Tew

original commit: c6fc92915d3de5b585eb01ddddf8c60f60664008
This commit is contained in:
Matthew Flatt 2012-11-04 06:38:30 -07:00
parent 8002d98e5d
commit 8ebc1bdfbd
2 changed files with 5 additions and 2 deletions

View File

@ -29,6 +29,7 @@
(define herefigure-style (make-style "Herefigure" figure-style-extras)) (define herefigure-style (make-style "Herefigure" figure-style-extras))
(define figureinside-style (make-style "FigureInside" figure-style-extras)) (define figureinside-style (make-style "FigureInside" figure-style-extras))
(define legend-style (make-style "Legend" figure-style-extras)) (define legend-style (make-style "Legend" figure-style-extras))
(define figure-target-style (make-style "FigureTarget" figure-style-extras))
(define centertext-style (make-style "Centertext" figure-style-extras)) (define centertext-style (make-style "Centertext" figure-style-extras))
(define figure-style (make-style "Figure" figure-style-extras)) (define figure-style (make-style "Figure" figure-style-extras))
@ -52,7 +53,7 @@
figure-style figure-style
(list (list
(make-nested-flow content-style (list (make-nested-flow figureinside-style (decode-flow content)))) (make-nested-flow content-style (list (make-nested-flow figureinside-style (decode-flow content))))
(make-paragraph centertext-style (list (make-element legend-style (list (Figure-target tag) ": " caption))))))) (make-paragraph centertext-style (list (make-element legend-style (list (make-element figure-target-style (list (Figure-target tag) ": ")) caption)))))))
(define (*figure style tag caption content) (define (*figure style tag caption content)
(make-nested-flow (make-nested-flow
@ -65,7 +66,7 @@
(list (list
(make-paragraph (make-paragraph
plain plain
(list (make-element legend-style (list (Figure-target tag) ": " caption)))))))))) (list (make-element legend-style (list (make-element figure-target-style (list (Figure-target tag) ": ")) caption))))))))))
(define (figure* tag caption . content) (define (figure* tag caption . content)
(*figure centerfiguremulti-style tag caption content)) (*figure centerfiguremulti-style tag caption content))

View File

@ -12,6 +12,8 @@
\vspace{4pt} \vspace{4pt}
\legend{#1}} \legend{#1}}
\newcommand{\FigureTarget}[1]{#1}
\newlength{\FigOrigskip} \newlength{\FigOrigskip}
\FigOrigskip=\parskip \FigOrigskip=\parskip