[julia-users] Re: How to overwrite output text in REPL

[Felipe Jiménez]

Thank you, your response was useful.
I installed the package with the intention to see its source, but just 
seeing it working gave me the idea.
It is probably based on print()ing the backspace character, '\b'. I will 
find my way from here.