From 8b2e511d65435a828ef7f262811c7ebf7b60020d Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 28 Feb 2022 18:56:38 +0100
Subject: [PATCH] Disable use of LaTeX in :check tables as well
---
CHANGELOG.md | 2 ++
src/main/java/de/prob2/jupyter/CommandUtils.java | 2 +-
src/main/java/de/prob2/jupyter/commands/CheckCommand.java | 2 +-
3 files changed, 4 insertions(+), 2 deletions(-)
diff --git a/CHANGELOG.md b/CHANGELOG.md
index b18abcf..1d415eb 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,6 +2,8 @@
## [(next version)](https://gitlab.cs.uni-duesseldorf.de/api/v4/projects/848/jobs/artifacts/master/raw/build/libs/prob2-jupyter-kernel-1.3.1-SNAPSHOT-all.jar?job=test)
+* Disabled LaTeX formatting inside `:check` tables as well, because of the layout issues mentioned below.
+
## [1.3.0](https://www3.hhu.de/stups/downloads/prob2-jupyter/prob2-jupyter-kernel-1.3.0-all.jar)
* Added support for Java 17.
diff --git a/src/main/java/de/prob2/jupyter/CommandUtils.java b/src/main/java/de/prob2/jupyter/CommandUtils.java
index 450b68b..1951b38 100644
--- a/src/main/java/de/prob2/jupyter/CommandUtils.java
+++ b/src/main/java/de/prob2/jupyter/CommandUtils.java
@@ -336,7 +336,7 @@ public final class CommandUtils {
public static @NotNull String inlineMarkdownForEvalResult(final @NotNull AbstractEvalResult aer) {
if (aer instanceof EvalResult) {
- return '$' + UnicodeTranslator.toLatex(((EvalResult)aer).getValue()) + '$';
+ return UnicodeTranslator.toUnicode(((EvalResult)aer).getValue());
} else if (aer instanceof ComputationNotCompletedResult) {
return "*(computation not completed: " + ((ComputationNotCompletedResult)aer).getReason() + ")*";
} else if (aer instanceof IdentifierNotInitialised) {
diff --git a/src/main/java/de/prob2/jupyter/commands/CheckCommand.java b/src/main/java/de/prob2/jupyter/commands/CheckCommand.java
index 5dfeac2..8fd4fd5 100644
--- a/src/main/java/de/prob2/jupyter/commands/CheckCommand.java
+++ b/src/main/java/de/prob2/jupyter/commands/CheckCommand.java
@@ -106,7 +106,7 @@ public final class CheckCommand implements Command {
for (final IEvalElement f : formulas) {
final AbstractEvalResult result = trace.evalCurrent(f);
sjPlain.add(f.getCode() + " = " + CommandUtils.inlinePlainTextForEvalResult(result));
- sjMarkdown.add("|$" + UnicodeTranslator.toLatex(f.getCode()) + "$|" + CommandUtils.inlineMarkdownForEvalResult(result) + '|');
+ sjMarkdown.add("|" + UnicodeTranslator.toUnicode(f.getCode()) + "|" + CommandUtils.inlineMarkdownForEvalResult(result) + '|');
}
final DisplayData result = new DisplayData(sjPlain.toString());
result.putMarkdown(sjMarkdown.toString());
--
GitLab