Especially when several error markers exist, the flashing this causes while editing isn't really nice. Reviewed-by: Roberto Raggi
