Skip to content
Snippets Groups Projects
Commit 37fd5e0a authored by dgelessus's avatar dgelessus
Browse files

Hide info section in VisB visualizations

parent 9aba132d
Branches
No related tags found
No related merge requests found
Pipeline #117131 passed
......@@ -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>");
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment