hhu-stups / prob-issues

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

No feedback about VisB JSON file being used #374

Open leuschel opened 2 weeks ago

leuschel commented 2 weeks ago

At the moment there seems to be no way for the user to find out which VisB JSON file is being used (apart from inspecting the project file). It would be nice to provide feedback and to maybe also be able to open the file in an external editor. If DEFINITIONS are used this should also be made clear to the user.

iTitus commented 2 weeks ago

340