From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Ted Zlatanov Newsgroups: gmane.emacs.devel Subject: Re: =?iso-8859-1?Q?=AC?= notation for not? Ref: Add a couple cells to lisp-prettify-symbols-alist Date: Fri, 15 Jul 2016 11:03:03 -0400 Organization: =?utf-8?B?0KLQtdC+0LTQvtGAINCX0LvQsNGC0LDQvdC+0LI=?= @ Cienfuegos Message-ID: <878tx3ueoo.fsf@lifelogs.com> References: <578801A0.4040306@gmail.com> <87oa5zx35d.fsf@udel.edu> <87d1mfuh05.fsf@lifelogs.com> Reply-To: emacs-devel@gnu.org NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1468595497 26940 80.91.229.3 (15 Jul 2016 15:11:37 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 15 Jul 2016 15:11:37 +0000 (UTC) To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Fri Jul 15 17:11:28 2016 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1bO4lv-0003LO-4U for ged-emacs-devel@m.gmane.org; Fri, 15 Jul 2016 17:11:23 +0200 Original-Received: from localhost ([::1]:33100 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bO4lp-000343-3L for ged-emacs-devel@m.gmane.org; Fri, 15 Jul 2016 11:11:17 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:54003) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bO4eV-0004oS-Jk for emacs-devel@gnu.org; Fri, 15 Jul 2016 11:03:44 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bO4eS-00067e-BT for emacs-devel@gnu.org; Fri, 15 Jul 2016 11:03:43 -0400 Original-Received: from plane.gmane.org ([80.91.229.3]:42457) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bO4eS-00067H-4s for emacs-devel@gnu.org; Fri, 15 Jul 2016 11:03:40 -0400 Original-Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1bO4e9-0005g4-1X for emacs-devel@gnu.org; Fri, 15 Jul 2016 17:03:21 +0200 Original-Received: from c-98-229-60-157.hsd1.ma.comcast.net ([98.229.60.157]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Fri, 15 Jul 2016 17:03:21 +0200 Original-Received: from tzz by c-98-229-60-157.hsd1.ma.comcast.net with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Fri, 15 Jul 2016 17:03:21 +0200 X-Injected-Via-Gmane: http://gmane.org/ Mail-Followup-To: emacs-devel@gnu.org Original-Lines: 28 Original-X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: c-98-229-60-157.hsd1.ma.comcast.net X-Face: bd.DQ~'29fIs`T_%O%C\g%6jW)yi[zuz6; d4V0`@y-~$#3P_Ng{@m+e4o<4P'#(_GJQ%TT= D}[Ep*b!\e,fBZ'j_+#"Ps?s2!4H2-Y"sx" Mail-Copies-To: never User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.1.50 (gnu/linux) Cancel-Lock: sha1:KY3foWUTVrRby9hQxsiKBpKA64E= X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 80.91.229.3 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:205717 Archived-At: On Fri, 15 Jul 2016 10:50:18 -0400 Stefan Monnier wrote: >> I proposed tagging each prettification entry, so the user can customize >> the tags. You said it was not right; what kind of customization are you >> proposing? I hope we agree on it here before it gets committed. SM> I don't know. Maybe a kind of grouping that doesn't impose a tag for SM> every entry? Reversing the mapping... The tags could be sets of prettification symbols per mode: (defvar prettify-mode-tagsets '(emacs-lisp-mode (general . (?λ ...)) ... ) (ocaml-mode (math . (?¬ ...)) ... )) (Any prettification symbols without a tagset could show up individually in the customization dialog, allowing ad-hoc additions for the user.) Then the user selects "general" in the options. It will be a lot of work to maintain these sets though, I don't think it's less work than specifying the tags for each entry. Sorry, I can't think of a good UI that also doesn't require bookkeeping in the backend. Oh... maybe we could look at the Unicode properties? ¬ is a math and logic symbol for instance, while λ is a more general symbol. That might be clever. Ted