hhu-stups / prob-issues

ProB issues (for probcli, ProB Tcl/Tk, ProB2, ProB2UI)
6 stars 0 forks source link

Integrate VisB into main window of ProB 2 UI #299

Closed dgelessus closed 1 year ago

dgelessus commented 1 year ago

VisB could be integrated into the main view under the "State Visualisation" tab, where the old ANIMATION_FUNCTION visualization is currently located. (See also #297.)

This would allow simplifying the VisB toolbar and menu bar, because some options are already available in the main view/menu and don't need to be duplicated for VisB anymore. For example, the NavigationButtons, "Replay Trace...", and "Save Trace" options could be removed from the VisB toolbar. (See also #279.)