remove-killed-buffer-from-changed-list.patchDescription: Text Data
|
| From: | Michał Kondraciuk |
| Subject: | Re: Question about memory usage |
| Date: | Sat, 7 Apr 2018 15:15:08 +0200 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 |
On 04/05/2018 08:54 PM, Stefan Monnier wrote:
We could/should probably arrange to scan for dead buffers every time we add a new buffer to it, or from kill-buffer-hook.
Can you take a look at the attached patch?
remove-killed-buffer-from-changed-list.patch
Description: Text Data
| [Prev in Thread] | Current Thread | [Next in Thread] |