hhu-stups / prob-issues

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

SimB configuration cannot be edited during real-time simulation #365

Open cobizobi opened 2 months ago

cobizobi commented 2 months ago

It is not possible to edit a SimB configuration in ProB2-UI during a real-time simulation, as the focus of the text fields is lost with each simulation step. Perhaps the text fields should be disabled when a simulation is running.