> However, this tells me nothing about an efficient debugging ofI usually just use standard GDB breakpoints. Maybe you could be a bit
> redisplay_internal, and about display in general.
>
> Could you suggest me something efficient, please?
more specific about what you want to do.