From 37fd5e0ada3120bda6dd1e97de1131fac127f694 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 12 Jul 2023 12:04:14 +0200
Subject: [PATCH] Hide info section in VisB visualizations
---
src/main/java/de/prob2/jupyter/commands/ShowCommand.java | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/main/java/de/prob2/jupyter/commands/ShowCommand.java b/src/main/java/de/prob2/jupyter/commands/ShowCommand.java
index e6a82ce..4ce8621 100644
--- a/src/main/java/de/prob2/jupyter/commands/ShowCommand.java
+++ b/src/main/java/de/prob2/jupyter/commands/ShowCommand.java
@@ -16,6 +16,7 @@ import de.prob.animator.command.GetVisBHtmlForStates;
import de.prob.animator.command.GetVisBLoadedJsonFileCommand;
import de.prob.animator.command.LoadVisBCommand;
import de.prob.animator.domainobjects.AnimationMatrixEntry;
+import de.prob.animator.domainobjects.VisBExportOptions;
import de.prob.statespace.AnimationSelector;
import de.prob.statespace.State;
import de.prob2.jupyter.Command;
@@ -164,7 +165,7 @@ public final class ShowCommand implements Command {
return null;
}
- GetVisBHtmlForStates htmlCmd = new GetVisBHtmlForStates(state);
+ GetVisBHtmlForStates htmlCmd = new GetVisBHtmlForStates(state, VisBExportOptions.DEFAULT.withShowVersionInfo(false));
state.getStateSpace().execute(htmlCmd);
final DisplayData result = new DisplayData("<VisB visualization>");
--
GitLab