|
From: | Dmitry Gutov |
Subject: | bug#41029: Improve ido-switch-buffer performance when many buffers are open |
Date: | Fri, 29 May 2020 02:36:31 +0300 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.8.0 |
Version: 28.1 On 03.05.2020 05:03, Dmitry Gutov wrote:
On 02.05.2020 21:26, Arnold Noronha wrote:Actually, I realized this could be cleaner. Nicer patch attached.Looks fine to me, thanks. Unless someone expresses any objections in a week or so, we should install it.
Now pushed to master. Thank you!
[Prev in Thread] | Current Thread | [Next in Thread] |