Re: Message's text-properties in *Messages*

[Eli Zaretskii]

> From: Stefan Monnier <address@hidden>
> Cc: address@hidden
> Date: Wed, 30 May 2018 15:44:08 -0400
> 
> > As I wrote previously, redisplay is not the issue here, as
> > message_dolog doesn't call any redisplay entry points.
> 
> Hmm... indeed I'm not worried about message_dolog calling redisplay,
> instead I think the worry is about redisplay calling message_dolog
> (probably via `message` or some variant thereof).

I don't think this happens, and I don't think it could work for
redisplay to call 'message' or its ilk.  Do you see any such calls?

> And in that case, we could also replace message_dolog with
> message_dolog_lisp (if needed, building a fresh new Lisp string from
> a char*).

Probably, although it could be cumbersome with some of the current
callers.