Missing error dialogs - fix 2044661

TAPAAL / tapaal-gui

TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.

https://www.tapaal.net

3 stars 11 forks source link

Closed mtygesen closed 10 months ago

mtygesen commented 10 months ago

When no engine is selected and the user tries to open batch processing it will now ask them to set the missing ones
Added error dialogue when trying to open a standard browser on a platform where it is not supported