Improve message in ProB2-UI when dot not installed

hhu-stups / prob-issues

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

6 stars 0 forks source link

Closed leuschel closed 7 months ago

leuschel commented 7 months ago

Currently the error message is not very instructive for the average user:

dot_error_1 dot_error_2

iTitus commented 7 months ago

regression of #114 ?

iTitus commented 7 months ago

That fix only checked whether the DOT property was set. I improved the error further: