search

hhu-stups / prob-issues

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

Value Tab in Symbolic Animation-View can't be expanded #285

Closed Inab1993 closed 1 year ago

Inab1993 commented 1 year ago

When adding a symbolic animation, the inputfield for values can't be expanded and might be too small for larger values or sets.