[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [IDEA] Add function clean-buffer
|
From: |
Joseph Turner |
|
Subject: |
Re: [IDEA] Add function clean-buffer |
|
Date: |
Fri, 08 Sep 2023 10:21:18 -0700 |
> A naive question: is there any reason to not use the builtin
> `delete-all-overlays' instead of an explicit loop, to delete
> every overlay?
I just extracted the code verbatim from clean-mode into clean-buffer.
If others agree that delete-all-overlays would be more appropriate,
I'll submit a second patch.
- [IDEA] Add function clean-buffer, Joseph Turner, 2023/09/03
- Re: [IDEA] Add function clean-buffer, Philip Kaludercic, 2023/09/04
- Re: [IDEA] Add function clean-buffer, Richard Stallman, 2023/09/08
- Re: [IDEA] Add function clean-buffer, Joseph Turner, 2023/09/09
- Re: [IDEA] Add function clean-buffer, Eli Zaretskii, 2023/09/09
- Re: [IDEA] Add function clean-buffer, Stefan Kangas, 2023/09/10
- Re: [IDEA] Add function clean-buffer, Richard Stallman, 2023/09/11