danielbinder / LogiVis

A teaching aid for concepts and algorithms in logic
MIT License
2 stars 0 forks source link

Persist newlines across server #16

Closed danielbinder closed 7 months ago

danielbinder commented 11 months ago

Newlines are usually filtered out as soon as they reach the server, but we may want to persist them as much as possible, since e.g. error messages are shown in the actual line they occur instead of always showing line 1.

Tasks:

danielbinder commented 7 months ago

This is unfeasable effort for no real gain