From d25f0e2b281177497f8f542882f173cdaa34727c Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 27 Aug 2018 15:04:26 +0200
Subject: [PATCH] Fix dollars not being quoted in :trace output
---
notebooks/tests/trace.ipynb | 4 ++--
src/main/java/de/prob2/jupyter/commands/TraceCommand.java | 3 ++-
2 files changed, 4 insertions(+), 3 deletions(-)
diff --git a/notebooks/tests/trace.ipynb b/notebooks/tests/trace.ipynb
index 11f3035..1529644 100644
--- a/notebooks/tests/trace.ipynb
+++ b/notebooks/tests/trace.ipynb
@@ -124,7 +124,7 @@
"data": {
"text/markdown": [
"* -1: Root state\n",
- "* 0: $initialise_machine **(current)**"
+ "* 0: `$initialise_machine` **(current)**"
],
"text/plain": [
"-1: Root state\n",
@@ -169,7 +169,7 @@
"data": {
"text/markdown": [
"* -1: Root state **(current)**\n",
- "* 0: $initialise_machine"
+ "* 0: `$initialise_machine`"
],
"text/plain": [
"-1: Root state (current)\n",
diff --git a/src/main/java/de/prob2/jupyter/commands/TraceCommand.java b/src/main/java/de/prob2/jupyter/commands/TraceCommand.java
index 53dcea7..b56e7ec 100644
--- a/src/main/java/de/prob2/jupyter/commands/TraceCommand.java
+++ b/src/main/java/de/prob2/jupyter/commands/TraceCommand.java
@@ -65,8 +65,9 @@ public final class TraceCommand implements Command {
sbPlain.append(transition);
sbMarkdown.append("\n* ");
sbMarkdown.append(i);
- sbMarkdown.append(": ");
+ sbMarkdown.append(": `");
sbMarkdown.append(transition);
+ sbMarkdown.append('`');
if (trace.getCurrent().getIndex() == i) {
sbPlain.append(" (current)");
--
GitLab