Skip to:

  1. Skip to Jira Navigation
  2. Skip to Side Navigation
  3. Skip to Main Content

Adapt VisB to incorporate Animation function features

Description

We could incoporate the Animation Function View and its features into VisB:

  • we could generate an HTML grid to insert the Animation Function images

  • the VisB JQuerys also work on HTML and not just SVG (and we already use HTML lists for error messages)

Note: there already is some code in ProB Tcl/Tk that generates an HTML document from the history, by converting the ANIMATION_FUNCTIONS to HTML grids.

Activity

Show:

Details

Assignee

Reporter

Priority

Created November 9, 2020 at 11:48 AM
Updated November 9, 2020 at 11:48 AM
Configure