Subject: Re: bug#72689: 31.0.50; Proposal to improve string-pixel-width

From: Eli Zaretskii <[email-masked]>
Date: Sat, 31 Aug 2024 11:26:59 +0300

> Date: Thu, 22 Aug 2024 16:56:11 +0200
> Cc: [email-masked]
> From: David Ponce <[email-masked]>
> 
> > LGTM, thanks.
> 
> Thanks.  Please find attached 2 patches:
> 
> 1. with-work-buffer.patch to introduce the new macro with-work-buffer.
> 
> 2. string-pixel-width.patch to improve `string-pixel-width'.

Thanks, installed on the master branch, and closing the bug.

Please in the future try to submit patches using "git format-patch",
as that makes the patches easier to apply.