I have an asynchronous event that triggers some output in the REPL, and I’d like to trigger a redisplay of the prompt afterwards, so that users know the REPL is still active. Is there something in the REPL std lib to do this?
M(NY)WE:
julia> Timer(_->println("OK"), 3);
julia> OK
To be clear: I’d like a new prompt to be redisplayed after “OK”