From b533ffbde30b0dbbaf3d792c6cfeeb4b2d1353c7 Mon Sep 17 00:00:00 2001 From: hneemann Date: Wed, 5 Dec 2018 18:13:20 +0100 Subject: [PATCH] proper rounding of font size --- .../neemann/digital/draw/shapes/custom/svg/SvgImporter.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/main/java/de/neemann/digital/draw/shapes/custom/svg/SvgImporter.java b/src/main/java/de/neemann/digital/draw/shapes/custom/svg/SvgImporter.java index 3a782764d..310d9001c 100644 --- a/src/main/java/de/neemann/digital/draw/shapes/custom/svg/SvgImporter.java +++ b/src/main/java/de/neemann/digital/draw/shapes/custom/svg/SvgImporter.java @@ -291,7 +291,7 @@ public class SvgImporter { VectorInterface pos1 = p.add(new VectorFloat(1, 0)).transform(c.getTransform()); if (element.getAttribute("id").equals("label")) - csd.setLabel(pos0.round(), pos1.round(), c.getTextOrientation(), (int) c.getFontSize(), c.getFilled()); + csd.setLabel(pos0.round(), pos1.round(), c.getTextOrientation(), Math.round(c.getFontSize()), c.getFilled()); else drawTextElement(csd, c, element, pos0, pos1); } @@ -300,7 +300,7 @@ public class SvgImporter { NodeList nodes = element.getElementsByTagName("*"); if (nodes.getLength() == 0) { String text = element.getTextContent(); - csd.addText(pos0.round(), pos1.round(), text, c.getTextOrientation(), (int) c.getFontSize(), c.getFilled()); + csd.addText(pos0.round(), pos1.round(), text, c.getTextOrientation(), Math.round(c.getFontSize()), c.getFilled()); } else { for (int i = 0; i < nodes.getLength(); i++) { Node n = nodes.item(i);