search

hhu-stups / prob-issues

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

Enable pasting multi-line formulas into ProB2-UI Console #372

Closed leuschel closed 3 weeks ago

leuschel commented 3 weeks ago

Pasting multi-line formulas into the B console leads to errors. It would be nice to add the \ at the end of all but the last line, for example, to enable pasting and evaluating multi-line formulas in the console

iTitus commented 3 weeks ago

when pasting multi-line strings every line but the last will have a backslash now

cobizobi commented 3 weeks ago

However, these multi-line commands can only be restored line by line from the history. Maybe we can improve this.

iTitus commented 3 weeks ago

Implemented as well 👍