From bfaf89aa8aa2bb25f0ee71abc6a6487d98dde0ab Mon Sep 17 00:00:00 2001 From: hneemann Date: Sun, 18 Feb 2018 21:25:37 +0100 Subject: [PATCH] new text handling in SVG export seems to work --- .../digital/draw/graphics/text/formatter/SVGFormatter.java | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/main/java/de/neemann/digital/draw/graphics/text/formatter/SVGFormatter.java b/src/main/java/de/neemann/digital/draw/graphics/text/formatter/SVGFormatter.java index 2ae68973a..9967d017b 100644 --- a/src/main/java/de/neemann/digital/draw/graphics/text/formatter/SVGFormatter.java +++ b/src/main/java/de/neemann/digital/draw/graphics/text/formatter/SVGFormatter.java @@ -32,7 +32,10 @@ public final class SVGFormatter { Decorate d = (Decorate) text; switch (d.getStyle()) { case MATH: - return "" + format(d.getContent(), true) + ""; + if (mathMode) + return format(d.getContent(), true); + else + return "" + format(d.getContent(), true) + ""; case OVERLINE: return "" + format(d.getContent(), mathMode) + ""; default: