From d8ee9d4eaa14bef674bdd51531de17890d589ce2 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Fri, 14 Jul 2023 11:20:06 +0200
Subject: [PATCH] Disable VisB headers
---
notebooks/tests/VisB_Test.ipynb | 26 +++----------------
.../prob2/jupyter/commands/ShowCommand.java | 2 +-
2 files changed, 4 insertions(+), 24 deletions(-)
diff --git a/notebooks/tests/VisB_Test.ipynb b/notebooks/tests/VisB_Test.ipynb
index a0f0d8e..98ad77f 100644
--- a/notebooks/tests/VisB_Test.ipynb
+++ b/notebooks/tests/VisB_Test.ipynb
@@ -229,7 +229,6 @@
" setAttr(\"arrow\",\"visible\",\"TRUE\");\n",
" setAttr(\"arrow\",\"x2\",\"100.0\");\n",
" setAttr(\"arrow\",\"y2\",\"20.0\");\n",
- " highlightRow(stepNr);\n",
" }\n",
" async function runAll(delay) {\n",
" visualise0(1);\n",
@@ -254,13 +253,10 @@
" </script>\n",
" </head>\n",
"<body>\n",
- " <button type=\"button\" class=\"collapsible collapsible-style\">SVG Visualisation</button>\n",
- " <div text-align=\"left\"> \n",
- " \n",
+ "\n",
"\n",
"<svg xmlns=\"http://www.w3.org/2000/svg\"\n",
" width=\"240\" height=\"200\" viewBox=\"0 0 240 200\" >\n",
- "Detected VISB_SVG_CONTENTS (requires_nothing)\n",
"\n",
" <defs>\n",
" <marker id=\"arrowhead\" markerWidth=\"10\" markerHeight=\"7\"\n",
@@ -472,7 +468,6 @@
" setAttr(\"arrow\",\"visible\",\"TRUE\");\n",
" setAttr(\"arrow\",\"x2\",\"100.0\");\n",
" setAttr(\"arrow\",\"y2\",\"180.0\");\n",
- " highlightRow(stepNr);\n",
" }\n",
" async function runAll(delay) {\n",
" visualise1(1);\n",
@@ -497,13 +492,10 @@
" </script>\n",
" </head>\n",
"<body>\n",
- " <button type=\"button\" class=\"collapsible collapsible-style\">SVG Visualisation</button>\n",
- " <div text-align=\"left\"> \n",
- " \n",
+ "\n",
"\n",
"<svg xmlns=\"http://www.w3.org/2000/svg\"\n",
" width=\"240\" height=\"200\" viewBox=\"0 0 240 200\" >\n",
- "Detected VISB_SVG_CONTENTS (requires_nothing)\n",
"\n",
" <defs>\n",
" <marker id=\"arrowhead\" markerWidth=\"10\" markerHeight=\"7\"\n",
@@ -715,7 +707,6 @@
" setAttr(\"arrow\",\"visible\",\"TRUE\");\n",
" setAttr(\"arrow\",\"x2\",\"100.0\");\n",
" setAttr(\"arrow\",\"y2\",\"20.0\");\n",
- " highlightRow(stepNr);\n",
" }\n",
" async function runAll(delay) {\n",
" visualise0(1);\n",
@@ -740,13 +731,10 @@
" </script>\n",
" </head>\n",
"<body>\n",
- " <button type=\"button\" class=\"collapsible collapsible-style\">SVG Visualisation</button>\n",
- " <div text-align=\"left\"> \n",
- " \n",
+ "\n",
"\n",
"<svg xmlns=\"http://www.w3.org/2000/svg\"\n",
" width=\"240\" height=\"200\" viewBox=\"0 0 240 200\" >\n",
- "Detected VISB_SVG_CONTENTS (requires_nothing)\n",
"\n",
" <defs>\n",
" <marker id=\"arrowhead\" markerWidth=\"10\" markerHeight=\"7\"\n",
@@ -797,14 +785,6 @@
"source": [
":show"
]
- },
- {
- "cell_type": "code",
- "execution_count": null,
- "id": "8e25955c",
- "metadata": {},
- "outputs": [],
- "source": []
}
],
"metadata": {
diff --git a/src/main/java/de/prob2/jupyter/commands/ShowCommand.java b/src/main/java/de/prob2/jupyter/commands/ShowCommand.java
index 4ce8621..29b278a 100644
--- a/src/main/java/de/prob2/jupyter/commands/ShowCommand.java
+++ b/src/main/java/de/prob2/jupyter/commands/ShowCommand.java
@@ -165,7 +165,7 @@ public final class ShowCommand implements Command {
return null;
}
- GetVisBHtmlForStates htmlCmd = new GetVisBHtmlForStates(state, VisBExportOptions.DEFAULT.withShowVersionInfo(false));
+ GetVisBHtmlForStates htmlCmd = new GetVisBHtmlForStates(state, VisBExportOptions.DEFAULT.withShowHeader(false).withShowVersionInfo(false));
state.getStateSpace().execute(htmlCmd);
final DisplayData result = new DisplayData("<VisB visualization>");
--
GitLab