Merlin Moncure <mmoncure(at)gmail(dot)com> writes:
> The following patch deals with a long standing gripe of mine that the
> terminal frequently gets garbled so that when typing.
Hm. I wonder whether rl_resize_terminal() exists in every iteration
of libreadline and libedit.
regards, tom lane