From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.devel Subject: Re: Removal of facemenu preload - Text Properties menu Date: Tue, 11 May 2021 23:19:05 +0300 Message-ID: <838s4l3txi.fsf@gnu.org> References: <87bl9iwblm.fsf@mail.linkov.net> <87zgx1pjnz.fsf@gnus.org> <87wns5168n.fsf@mail.linkov.net> <87im3pksw9.fsf@gnus.org> <83mtt13xu1.fsf@gnu.org> <87eeedkrpd.fsf@gnus.org> Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="1448"; mail-complaints-to="usenet@ciao.gmane.io" Cc: emacs-devel@gnu.org, drew.adams@oracle.com, juri@linkov.net To: Lars Ingebrigtsen Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Tue May 11 22:20:20 2021 Return-path: Envelope-to: ged-emacs-devel@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lgYrb-0000FF-TP for ged-emacs-devel@m.gmane-mx.org; Tue, 11 May 2021 22:20:19 +0200 Original-Received: from localhost ([::1]:47602 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lgYra-00052G-SV for ged-emacs-devel@m.gmane-mx.org; Tue, 11 May 2021 16:20:18 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:37970) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lgYqN-0003ae-QD for emacs-devel@gnu.org; Tue, 11 May 2021 16:19:03 -0400 Original-Received: from fencepost.gnu.org ([2001:470:142:3::e]:37082) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lgYqN-0007Lp-6k; Tue, 11 May 2021 16:19:03 -0400 Original-Received: from 84.94.185.95.cable.012.net.il ([84.94.185.95]:1283 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lgYqK-0005y3-NT; Tue, 11 May 2021 16:19:03 -0400 In-Reply-To: <87eeedkrpd.fsf@gnus.org> (message from Lars Ingebrigtsen on Tue, 11 May 2021 21:15:10 +0200) X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.23 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-mx.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.io gmane.emacs.devel:269188 Archived-At: > From: Lars Ingebrigtsen > Cc: juri@linkov.net, drew.adams@oracle.com, emacs-devel@gnu.org > Date: Tue, 11 May 2021 21:15:10 +0200 > > > It is, of course, okay to disable/remove it when facemenu isn't > > loaded, provided that loading facemenu enables/adds it back to the > > Edit menu. > > I think having it automatically in the Text menu (with enriched mode) is > more helpful than not having it at all in the menu bar -- unless the > user loads facemenu.el. > > But I have no strong opinions here -- feel free to move this around as > you wish. Done.