Subject: bug#70820: [PATCH] Editable grep buffers

From: Stefan Monnier <[email-masked]>
Date: Sat, 18 May 2024 09:35:58 -0400

> (I must admit that unconditionally removing the faces is not very
> friendly on the part of compilation-mode.  Stefan, are there better
> ways of doing that, perhaps?)

These are properties which the major mode (unconditionally) added, so it
doesn't seem unfriendly to remove them unconditionally when switching to
an unrelated major mode.

        Stefan