TheCloud/Digital
1
0
Fork 0
mirror of https://github.com/hneemann/Digital.git synced 2025-09-27 15:03:21 -04:00
Code Issues Packages Projects Releases Wiki Activity

Fixed to small bounding boxes in svg graphics.

Browse Source
This commit is contained in:
hneemann 2017-03-16 20:05:02 +01:00
parent 10f58ffb05
commit 7fbc46323c
2 changed files with 12 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/main/java/de/neemann/digital/draw/graphics/GraphicSVG.java
View File

@ -63,12 +63,13 @@ public class GraphicSVG implements Graphic, Closeable {
+ " xmlns:svg=\"http://www.w3.org/2000/svg\"\n" + " xmlns:svg=\"http://www.w3.org/2000/svg\"\n"
+ " xmlns=\"http://www.w3.org/2000/svg\"\n"); + " xmlns=\"http://www.w3.org/2000/svg\"\n");
double width = (max.x - min.x) * svgScale / 100.0; double width = (max.x - min.x + Style.MAXLINETHICK) * svgScale / 100.0;
double height = (max.y - min.y) * svgScale / 100.0; double height = (max.y - min.y + Style.MAXLINETHICK) * svgScale / 100.0;
final int lineCorr = Style.MAXLINETHICK / 2;
w.write(" width=\"" + width + "mm\"\n" w.write(" width=\"" + width + "mm\"\n"
+ " height=\"" + height + "mm\"\n" + " height=\"" + height + "mm\"\n"
+ " viewBox=\"" + min.x + " " + min.y + " " + (max.x - min.x) + " " + (max.y - min.y) + "\">\n"); + " viewBox=\"" + (min.x - lineCorr) + " " + (min.y - lineCorr) + " " + (max.x - min.x + Style.MAXLINETHICK) + " " + (max.y - min.y + Style.MAXLINETHICK) + "\">\n");
w.write("<g stroke-linecap=\"square\">\n"); w.write("<g stroke-linecap=\"square\">\n");
} }

11
src/main/java/de/neemann/digital/draw/graphics/Style.java
View File

@ -8,9 +8,14 @@ import java.awt.*;
* @author hneemann * @author hneemann
*/ */
public class Style { public class Style {
private static final int WIRETHICK = 4; /**
private static final int LINETHICK = 4; * maximal line thickness
private static final int LINETHIN = 2; */
public static final int MAXLINETHICK = 4;
private static final int WIRETHICK = MAXLINETHICK;
private static final int LINETHICK = MAXLINETHICK;
private static final int LINETHIN = MAXLINETHICK / 2;
private static final int LINEDASH = 1; private static final int LINEDASH = 1;
/** /**