From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.devel Subject: Re: Fwd: Flymake and the 'face' property Date: Wed, 30 Jan 2019 17:40:27 +0200 Message-ID: <83zhri17dg.fsf@gnu.org> References: <20190128152540.6870.46132@vcs0.savannah.gnu.org> <20190128152541.12A4D20B50@vcs0.savannah.gnu.org> <30bm401x64.fsf@fencepost.gnu.org> <83r2cw35jq.fsf@gnu.org> <83munk33gj.fsf@gnu.org> <83h8dr2yll.fsf@gnu.org> <83bm3z2vyv.fsf@gnu.org> Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="5774"; mail-complaints-to="usenet@blaine.gmane.org" Cc: emacs-devel@gnu.org To: Stefan Monnier Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Wed Jan 30 16:41:32 2019 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([209.51.188.17]) by blaine.gmane.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:256) (Exim 4.89) (envelope-from ) id 1gorzY-0001NY-6c for ged-emacs-devel@m.gmane.org; Wed, 30 Jan 2019 16:41:32 +0100 Original-Received: from localhost ([127.0.0.1]:40027 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gorzX-0008Iq-3j for ged-emacs-devel@m.gmane.org; Wed, 30 Jan 2019 10:41:31 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:43180) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1goryj-0008Ik-7n for emacs-devel@gnu.org; Wed, 30 Jan 2019 10:40:41 -0500 Original-Received: from fencepost.gnu.org ([2001:470:142:3::e]:45402) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gorye-0005o3-P0; Wed, 30 Jan 2019 10:40:38 -0500 Original-Received: from [176.228.60.248] (port=3104 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1goryc-0007CR-PU; Wed, 30 Jan 2019 10:40:36 -0500 In-reply-to: (message from Stefan Monnier on Wed, 30 Jan 2019 04:37:32 -0500) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.org gmane.emacs.devel:232830 Archived-At: > From: Stefan Monnier > Date: Wed, 30 Jan 2019 04:37:32 -0500 > > > A 'face' property is documented for general use only for text, not for > > symbol plists. > > But the `category` text-property uses as text-properties the properties > of a symbol, so there is a real conflict in our current design. The 'category' symbols aren't faces, so there's no problem here. the 'face' property has special meaning only on symbols that name a face. > I think it might be worth taking a look at how hard/easy it would be to > change the place where we store the face-id. I think you greatly exaggerate the importance of this incident. What we have is a single package that happened to inadvertently bump into this because it has a face and another symbol by the same name, _and_ that package also puts a 'face' property on the symbol. The solution, which was already proposed, is to rename the face. Other than that, this design is working flawlessly since the day it was introduced 19 years ago. So I see no reason to waste any more energy on this. We have more important issues to tend to.