inline-graphics
inline-graphics: length -> length -> length -> (length * length -> graphics list) -> inline-boxes
グラフィックスを描画し,本文中に挿入します.
描画したいグラフィックスのリストgrlstを用意し,inline-graphics width height depth (fun (x, y) -> grlst)とすることでそれらを描画することができます.この例における返り値のインラインボックス列は,幅 width,高さheight,深さdepthとなります.
第4引数が単なるgraphics listではなく(length * length -> graphics list) という関数型になっていることがポイントです.このおかげで
本文の途中にグラフィックスを挿入したい
絶対座標を指定してグラフィックスを挿入したい
という両方の用途に対して用いることができます.
グラフィックスの描画だけでなく,かなり応用の利くコマンドです.
特定の大きさの見えないボックスを作成する
文字を重ね打ちする
といった場面にも用いられます.