From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.devel Subject: Re: =?windows-1252?Q?=AC?= notation for not? Ref: Add a couple cells to lisp-prettify-symbols-alist Date: Fri, 15 Jul 2016 11:17:50 -0400 Message-ID: References: <578801A0.4040306@gmail.com> <87oa5zx35d.fsf@udel.edu> <87d1mfuh05.fsf@lifelogs.com> <878tx3ueoo.fsf@lifelogs.com> 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 1468595918 1947 80.91.229.3 (15 Jul 2016 15:18:38 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 15 Jul 2016 15:18:38 +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:18:30 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 1bO4sn-0000LT-3f for ged-emacs-devel@m.gmane.org; Fri, 15 Jul 2016 17:18:29 +0200 Original-Received: from localhost ([::1]:33144 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bO4sm-0000yY-2A for ged-emacs-devel@m.gmane.org; Fri, 15 Jul 2016 11:18:28 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:33618) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bO4sZ-0000vS-GX for emacs-devel@gnu.org; Fri, 15 Jul 2016 11:18:16 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bO4sT-0002Xq-GG for emacs-devel@gnu.org; Fri, 15 Jul 2016 11:18:14 -0400 Original-Received: from plane.gmane.org ([80.91.229.3]:43501) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bO4sT-0002XJ-8x for emacs-devel@gnu.org; Fri, 15 Jul 2016 11:18:09 -0400 Original-Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1bO4sJ-0008Ng-0K for emacs-devel@gnu.org; Fri, 15 Jul 2016 17:17:59 +0200 Original-Received: from 69-165-156-121.dsl.teksavvy.com ([69.165.156.121]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Fri, 15 Jul 2016 17:17:58 +0200 Original-Received: from monnier by 69-165-156-121.dsl.teksavvy.com with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Fri, 15 Jul 2016 17:17:58 +0200 X-Injected-Via-Gmane: http://gmane.org/ Original-Lines: 15 Original-X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: 69-165-156-121.dsl.teksavvy.com User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.1.50 (gnu/linux) Cancel-Lock: sha1:3L3waGZy4gBoHmb3D2TGIc7KJ9c= 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:205720 Archived-At: > (defvar prettify-mode-tagsets '(emacs-lisp-mode (general . (?λ ...)) ... ) > (ocaml-mode (math . (?¬ ...)) ... )) Sounds complicated as well. Maybe we could just get away with having prettify-symbols-alist have 2 lists: a basic one and an extended one. Users can then choose to use the basic set or the extended set (for the users in search of more visual thrills) (or nothing at all for the more conservative users). If we add the ability to inhibit specific chars, it should be flexible enough in practice, not too hard to implement, and understandable for the end-user. Stefan