Return has to be pressed twice to make the REPL output appear
NickSeagull opened this issue · 2 comments
NickSeagull commented
Return has to be pressed twice to make the REPL output appear
SamuelSchlesinger commented
This could be fixed if we changed the model of communication between the front and back ends to take more explicit messages I believe, unless it's just inherent to the front end, as I think the way we're transferring console content right now is susceptible to bugs.
NickSeagull commented
Irrelevant with new version, closing