Merge pull request #360 from ilhany359/htmlElementRemoveSpace

bjoernranft · web-flow · commit b0e30392b899 · 2021-12-03T09:51:33.000+01:00
Remove space delimeters in font description
diff --git a/core/src/main/java/de/muenchen/allg/itd51/wollmux/ui/HTMLElement.java b/core/src/main/java/de/muenchen/allg/itd51/wollmux/ui/HTMLElement.java
@@ -78,7 +78,7 @@ public FontDescriptor getFontDescriptor()
       {
         try
         {
-          fontDescriptor.Height = Short.valueOf(o.toString().replaceAll("pt", ""));
+          fontDescriptor.Height = Short.valueOf(o.toString().replaceAll("pt", "").replaceAll(" ", ""));
         } catch (NumberFormatException ex)
         {
           LOGGER.info("parsing font height failed due number format exception, trying to parse string %s", o.toString());

Original file line number	Diff line number	Diff line change
`@@ -78,7 +78,7 @@ public FontDescriptor getFontDescriptor()`
`78`	`78`	`{`
`79`	`79`	`try`
`80`	`80`	`{`
`81`		`- fontDescriptor.Height = Short.valueOf(o.toString().replaceAll("pt", ""));`
	`81`	`+ fontDescriptor.Height = Short.valueOf(o.toString().replaceAll("pt", "").replaceAll(" ", ""));`
`82`	`82`	`} catch (NumberFormatException ex)`
`83`	`83`	`{`
`84`	`84`	`LOGGER.info("parsing font height failed due number format exception, trying to parse string %s", o.toString());`