Trigger redisplay of the REPL prompt

Thanks!


Yes, that is the workaround I was using, but I was almost sure something better existed…