Commit 4a0f5d5f authored by dgelessus's avatar dgelessus
Browse files

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.
parent dcec9077
Pipeline #75103 passed with stage
in 2 minutes and 31 seconds
......@@ -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](
......@@ -92,7 +92,7 @@ public final class TableCommand implements Command {
sbPlain.append(String.join("\t", row));
sbMarkdown.append( -> '$' + UnicodeTranslator.toLatex(s) + '$').collect(Collectors.joining("|")));
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment