From 4a0f5d5f32c050aa02be70df6920b13e4e8d8807 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 24 Nov 2021 13:46:30 +0100
Subject: [PATCH] Use plain Unicode instead of LaTeX in rich text :table output
LaTeX formulas inside tables cause various layout issues in Jupyter
Notebook, such as long sets being wrapped even when they would fit on a
single line, table columns being wider than necessary, and LaTeX
formulas being left-aligned instead of right-aligned like normal text.
---
CHANGELOG.md | 1 +
src/main/java/de/prob2/jupyter/commands/TableCommand.java | 2 +-
2 files changed, 2 insertions(+), 1 deletion(-)
diff --git a/CHANGELOG.md b/CHANGELOG.md
index 1f4ae41..0dbfdc2 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 d302afe..15486a0 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");
}
--
GitLab