Re: Display of undisplayable characters: \U01F3A8 instead of diamond

[Emanuel Berg]

Stefan Monnier wrote:

> The problem of course being how to decide when to flush the
> cache. By making the system less automatic, we expose enough
> of it that the user will obviously know how to "flush the
> cache" and will hopefully realize when it might need to be
> "flushed".

But when should that happen to begin with, when the user has
reconfigured the console so that suddenly new chars are (or
aren't) visible, or what?

-- 
underground experts united
https://dataswamp.org/~incal