ProB2-UI Show Full Value does not show full value

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

The description stops with ... Screenshot 2024-04-18 at 16 36 43

iTitus commented 7 months ago

same issue as #93 Caused by the the Kernel or Prolog I think:

but is still limited to 600 chars currently

iTitus commented 7 months ago

Fixed in dev, need a Prolog & Kernel release to use it in the UI