From 53bade28e9acfc51804b4eadd4e1b1a7ad79bfc2 Mon Sep 17 00:00:00 2001 From: Jonas Werner Date: Sun, 23 Mar 2025 15:22:52 +0100 Subject: [PATCH] fixed Hashtag causing tex gen issues --- .../texttechnologylab/project/gruppe_05_1/export/TeXUtil.java | 1 + 1 file changed, 1 insertion(+) diff --git a/src/main/java/org/texttechnologylab/project/gruppe_05_1/export/TeXUtil.java b/src/main/java/org/texttechnologylab/project/gruppe_05_1/export/TeXUtil.java index ab70cd2..178b5db 100644 --- a/src/main/java/org/texttechnologylab/project/gruppe_05_1/export/TeXUtil.java +++ b/src/main/java/org/texttechnologylab/project/gruppe_05_1/export/TeXUtil.java @@ -163,6 +163,7 @@ public class TeXUtil { // Format tex string to UTF-8 tex = new String(tex.getBytes("UTF-8")); + tex = tex.replaceAll("#", "\\\\#"); // Replace all # with \# tex = tex.replaceAll("[^\\x00-\\x7F]", ""); // Replace all non-ASCII characters // Local datetime stamp