Subject: Re: bug#47300: delete-window to select window with same position

From: martin rudalics <[email-masked]>
Date: Thu, 10 Jun 2021 09:44:07 +0200

> A lambda was just an example.  But constants like in your previous patch
 > are fine.  So you could just push it when you want.

Pushed now.  Feel free to change it if you have better ideas.

Thanks, martin