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: Sun, 10 Jul 2016 11:05:01 -0400 Message-ID: References: <20160710052404.GA28783@holos.localdomain> <57825D3D.5000106@gmail.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 1468163188 24428 80.91.229.3 (10 Jul 2016 15:06:28 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 10 Jul 2016 15:06:28 +0000 (UTC) To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sun Jul 10 17:06:21 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 1bMGJH-0005jw-MM for ged-emacs-devel@m.gmane.org; Sun, 10 Jul 2016 17:06:19 +0200 Original-Received: from localhost ([::1]:55549 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bMGJD-0002JH-N3 for ged-emacs-devel@m.gmane.org; Sun, 10 Jul 2016 11:06:15 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:40675) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bMGIH-0001IR-5m for emacs-devel@gnu.org; Sun, 10 Jul 2016 11:05:18 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bMGIA-0004Hk-LJ for emacs-devel@gnu.org; Sun, 10 Jul 2016 11:05:17 -0400 Original-Received: from plane.gmane.org ([80.91.229.3]:53188) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bMGIA-0004HB-ER for emacs-devel@gnu.org; Sun, 10 Jul 2016 11:05:10 -0400 Original-Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1bMGI8-0005Hh-Ml for emacs-devel@gnu.org; Sun, 10 Jul 2016 17:05:08 +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 ; Sun, 10 Jul 2016 17:05:08 +0200 Original-Received: from monnier by 69-165-156-121.dsl.teksavvy.com with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Sun, 10 Jul 2016 17:05:08 +0200 X-Injected-Via-Gmane: http://gmane.org/ Original-Lines: 32 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:yX16z6t+no9caYRnPzOucBDFbCQ= 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:205503 Archived-At: > What if spaces inside of a sexp, under a prettified symbol, could be prettified too? So I'd see > > (∧ x > y > z) > > but the buffer would really contain > > (and x > y > z) Sounds good. Not sure how to do it reliably, tho: - how do we find the set of lines that are affected (something like forward-sexp could work for the above case)? - how do we distinguish between lines that are "aligned" and lines which are merely indented by a fixed amount? It might be even possible to make align.el handle alignment correctly for some of these cases. E.g. for (and x (y 45) (toto 46)) E.g. by tweaking `current-column` so that it counts the "and displayed as ∧" as 3 columns rather than 1 (following the same idea as used for invisible text, where `current-column` currently counts it as non-invisible if it is displayed as an ellipsis). Stefan