Hopefully fix docs

moves-rwth · Oct 13, 2024 · 42e6a05 · 42e6a05
1 parent a2c750d
commit 42e6a05
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 5 deletions.
diff --git a/docs/getting_started/naive_value_iteration.ipynb b/docs/getting_started/naive_value_iteration.ipynb
@@ -18,7 +18,7 @@
         {
           "data": {
             "application/vnd.jupyter.widget-view+json": {
-              "model_id": "192e4f4d760748e0a4edd3dc3702616d",
+              "model_id": "3f6d01aafc5e4afea55975ebcf61050d",
               "version_major": 2,
               "version_minor": 0
             },
@@ -162,6 +162,14 @@
       "metadata": {},
       "outputs": [],
       "source": []
+    },
+    {
+      "cell_type": "code",
+      "execution_count": null,
+      "id": "12b57306-780c-4a40-898a-f3a95f7ff9eb",
+      "metadata": {},
+      "outputs": [],
+      "source": []
     }
   ],
   "metadata": {

diff --git a/docs/getting_started/prism.ipynb b/docs/getting_started/prism.ipynb
@@ -293,7 +293,7 @@
       "source": [
         "stormvogel_model = mapping.stormpy_to_stormvogel(nand_model)\n",
         "\n",
-        "stormvogel_result = result.convert_model_checking_result(stormvogel_model, stormpy_result)"
+        "stormvogel_result = result.convert_model_checking_result(stormvogel_model, stormpy_result, show_editor=False)"
       ]
     },
     {
@@ -993,7 +993,7 @@
       "name": "python",
       "nbconvert_exporter": "python",
       "pygments_lexer": "ipython3",
-      "version": "3.12.6"
+      "version": "3.11.2"
     },
     "widgets": {
       "application/vnd.jupyter.widget-state+json": {

diff --git a/stormvogel/visjs.py b/stormvogel/visjs.py
@@ -173,7 +173,7 @@ def show(self) -> None:
         iframe = self.generate_iframe()
         with self.output:  # Display the iframe within the Output.
             ipd.clear_output()
-            ipd.display(ipd.HTML(iframe))
+            ipd.display(widgets.HTML(iframe))
         self.maybe_display_output()
         with self.debug_output:
             logging.info("Called Network.show")
@@ -183,7 +183,7 @@ def reload(self) -> None:
         iframe = self.generate_iframe()
         with self.output:
             ipd.clear_output()
-            ipd.display(ipd.HTML(iframe))
+            ipd.display(widgets.HTML(iframe))
         with self.debug_output:
             logging.info("Called Network.reload")