diff --git a/CHANGELOG.md b/CHANGELOG.md index 1f4ae4156a611b58911c78116e0d6e4f3ed8cb04..0dbfdc232852e5d30ae7e2649bb858b3a4652b3e 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -15,6 +15,7 @@ * Fixed a bug where interrupting a command could make the kernel completely stop responding, requiring a manual restart. * Fixed syntax errors when using local variables (`:let`) in Event-B mode. * Fixed the `:trace` command sometimes displaying transitions as `null`. +* Disabled LaTeX formatting inside `:table` output, because it leads to various layout issues inside Jupyter Notebook. The table contents are now rendered as plain Unicode text instead. ## [1.2.0](https://www3.hhu.de/stups/downloads/prob2-jupyter/prob2-jupyter-kernel-1.2.0-all.jar) diff --git a/src/main/java/de/prob2/jupyter/commands/TableCommand.java b/src/main/java/de/prob2/jupyter/commands/TableCommand.java index d302afee8ef4f2076521ecb26dc1997e01cd7a5d..15486a0248d03da7890c6a84bfbabe40fc69887c 100644 --- a/src/main/java/de/prob2/jupyter/commands/TableCommand.java +++ b/src/main/java/de/prob2/jupyter/commands/TableCommand.java @@ -92,7 +92,7 @@ public final class TableCommand implements Command { sbPlain.append(String.join("\t", row)); sbPlain.append('\n'); sbMarkdown.append('|'); - sbMarkdown.append(row.stream().map(s -> '$' + UnicodeTranslator.toLatex(s) + '$').collect(Collectors.joining("|"))); + sbMarkdown.append(row.stream().map(UnicodeTranslator::toUnicode).collect(Collectors.joining("|"))); sbMarkdown.append("|\n"); }