better redisplay logic for shashi/Interact.jl#6