Open meygerjos opened 7 years ago
I have just crossposted this question to stackoverflow.
I finally managed to figure this out.
I had some arrows: for these I used the arrowOpts:
(with & arrowHead .~ myTri
& arrowTail .~ lineTail
& lengths .~ output 15
& arrowShaft .~ idShaft offset
& shaftStyle %~ lwO 1)
For SVG rendering I used renderPretty' outFile svgOpt diagram
with
svgOpt :: Num n => Options SVG V2 n
svgOpt = SVGOptions {
_size = absolute,
_idPrefix = empty,
_svgDefinitions = Nothing,
_svgAttributes = [],
_generateDoctype = False
}
The crucial part is setting _size = absolute
, which causes the resulting svg to not be scaled at all.
I'm still trying to track down the other measurements that aren't output
yet.
I think examples such as these should be added to the documentation, because this was really difficult to figure out.
Thanks for the suggestions! I agree, this should be better documented.
For other measurements you can use lwO
to set the line width in output units, and fontSizeO
to set the font size. Those are the main ones. If you have any dashed lines or gradients I think there are others related to those.
If I do atPoints (map (p2) [(0,0), (100,0)]) ((map circle [20,50])
, are the two circles 100 output units apart? And are the radii of the circles 20 and 50 output units respectively?
Also, I'm guessing that output units are pixels. Is this true?
If I do atPoints (map (p2) [(0,0), (100,0)]) ((map circle [20,50]), are the two circles 100 output units apart? And are the radii of the circles 20 and 50 output units respectively?
Yes, they should be, if you use _size = absolute
.
Also, I'm guessing that output units are pixels. Is this true?
It depends on the backend. I am not sure specifically for the SVG backend.
The user manual says this:
This is exactly what I'd like to do. I am making a webpage with multiple
diagrams
-generated svg files of different sizes inline, and I'd like the line widths, arrowhead sizes, and circle radii to be consistent. But I'm not sure how. How would I pass the same output value to all the arrows, arrowheads, circles, etc.? And when I ultimately render withrenderPretty
, what would I setsize
to in theSVGOptions
argument so that it just makes the svg whatever size its contents are?