Re: Make set_ps_display faster and easier to use

[David Rowley]

On Fri, 17 Feb 2023 at 21:44, David Rowley <dgrowle...@gmail.com> wrote:
> Updated patch attached.

After making another couple of small adjustments, I've pushed this.

Thanks for the review.

David