Improve VisB UI - Githubissues

hhu-stups / prob-issues

ProB issues (for probcli, ProB Tcl/Tk, ProB2, ProB2UI)

6 stars 0 forks source link

Improve VisB UI #340

Open iTitus opened 7 months ago

iTitus commented 7 months ago

simplify toolbar
- move lesser used options into dropdown menu
simplify handling of default visualization
- remember all past visualizations
- offer them in a dropdown
336
297

cobizobi commented 4 months ago

make items and events in VisBDebugStage editable (only when json is loaded, not for definitions) like in SimulatorStage for SimB?