diff --git a/src/main/java/de/prob2/jupyter/commands/ShowCommand.java b/src/main/java/de/prob2/jupyter/commands/ShowCommand.java index e6a82ce30c567d79759d490a0f4fca8001f753dd..4ce8621af0a9444fe5df3afdbfa8fadb751edbdf 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>");