diff --git a/notebooks/tests/VisB_Test.ipynb b/notebooks/tests/VisB_Test.ipynb index a0f0d8ed11e87a526c05049a94f8c79b3069552e..98ad77f67acf7e9f27cb4b63e84546ca5b759f37 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 4ce8621af0a9444fe5df3afdbfa8fadb751edbdf..29b278a50c691f2a9a39008466e353c37ff3f6ea 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>");