From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: =?UTF-8?Q?Cl=c3=a9ment_Pit--Claudel?= Newsgroups: gmane.emacs.devel Subject: =?UTF-8?Q?Re:_=c2=ac_notation_for_not=3f_Ref:_Add_a_couple_cells_to?= =?UTF-8?Q?_lisp-prettify-symbols-alist?= Date: Sun, 10 Jul 2016 16:35:41 +0200 Message-ID: <57825D3D.5000106@gmail.com> References: <20160710052404.GA28783@holos.localdomain> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="W7X1h2DXm7Ek3NOVTbGSa8PIQgpQKBP0K" X-Trace: ger.gmane.org 1468161404 32205 80.91.229.3 (10 Jul 2016 14:36:44 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 10 Jul 2016 14:36:44 +0000 (UTC) To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sun Jul 10 16:36:29 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 1bMFqO-0001mq-Ll for ged-emacs-devel@m.gmane.org; Sun, 10 Jul 2016 16:36:28 +0200 Original-Received: from localhost ([::1]:55410 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bMFqN-0007PY-PF for ged-emacs-devel@m.gmane.org; Sun, 10 Jul 2016 10:36:27 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:33858) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bMFpm-0007AU-BZ for emacs-devel@gnu.org; Sun, 10 Jul 2016 10:35:51 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bMFpf-0006h1-W8 for emacs-devel@gnu.org; Sun, 10 Jul 2016 10:35:49 -0400 Original-Received: from mout.kundenserver.de ([212.227.126.130]:63052) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bMFpf-0006gh-MF for emacs-devel@gnu.org; Sun, 10 Jul 2016 10:35:43 -0400 Original-Received: from [192.168.1.82] ([109.24.225.43]) by mrelayeu.kundenserver.de (mreue005) with ESMTPSA (Nemesis) id 0MFwkk-1ba1CF3gZi-00Evzs for ; Sun, 10 Jul 2016 16:35:42 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.8.0 In-Reply-To: <20160710052404.GA28783@holos.localdomain> X-Provags-ID: V03:K0:QIjys2B8sA0BQTn9KGQpAtjAEnIWJ/IHAFjbL/bOz8T96dCR97H goRkKpqkIhozyRpo59IB+9HlXbj7hDN9ryJKj+jlxPn/GpMS6FS21fd8sJfsklhgFmGL6Ep BB3iAuYq2ix/c+NxHpuA3OHLglny3IPUkf6eJAue2Y+BJrqcXeiA/tU9gmkdSDkEgdA/TVT /0PAgEtHjx/38xwwluAYw== X-UI-Out-Filterresults: notjunk:1;V01:K0:dU+2ES3RdZw=:MU8+kDfeO+R1htgxD/Jm3B 8HvXUEGGG56H5QJdqtj/MQoDWI58PsULPYA+E7MJpnuChv6ZQZy3rPjtwkx3wGpS5V38gGWjz Q4aDrVIiLcg9HPjgKQeTcYx3AAPgT4/hUYrapU/msFUMmwGFILJwhpoCBShTHgUi/EDv7KWGo NDxTy0K+9+KlDqPTx69zAD+MogJwbaEgOniwGyySAjwRiAZhdhHEvGK4e1pEZIgsNntnydjhX yfAAVvUoyLbQgeeeCbQPEvDQDAIpG//V2L0mRTDem/erx0WJ2fcckYSJOh081TfcR4+78BhI/ cyL82f4J8gOF4djnLUW4govYUiqBRMNyLhUVuPPhETyzU7KtiqT5ojgy0ALJeqkvRcbcpfUGk 1YSpjk+nK0w0LoTj9zoRlX42jFVNlUAbxsRAF6gKsXIaLrS6eTePbMfoyxIROWFy1GHn1TvEy OKHiPWdBmL3RKZfP6c07GolOgLO5ZB2Kei48l3jUQ8PN9YhdBWwbbQO+heGDq4wmGNwAQ4EPH YgMgHl7Q74EGPxPTqRQCmqu1MaU8f+qdTsTROZKVBsKbBRo04THZ/BaYkwpK2/5JPopX4FsvZ Vbg2vCiSt/JHHhk42Z4TuVsLEiqCIM5KRT4OViTG0TgEKhVvEtuzCI3Y8SHj5aOzaXj1+2GTM 5e4Jymnmsx5oJHl9q7JVFjfGoe+hwIy21QHkOQhcky4HYxR5XyJhIB1IJHj0tmCSHJxk= X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 212.227.126.130 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:205496 Archived-At: This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --W7X1h2DXm7Ek3NOVTbGSa8PIQgpQKBP0K Content-Type: multipart/mixed; boundary="MRlt3c7TvNrbSNF2g5q74I5svDrIBG9nW" From: =?UTF-8?Q?Cl=c3=a9ment_Pit--Claudel?= To: emacs-devel@gnu.org Message-ID: <57825D3D.5000106@gmail.com> Subject: =?UTF-8?Q?Re:_=c2=ac_notation_for_not=3f_Ref:_Add_a_couple_cells_to?= =?UTF-8?Q?_lisp-prettify-symbols-alist?= References: <20160710052404.GA28783@holos.localdomain> In-Reply-To: <20160710052404.GA28783@holos.localdomain> --MRlt3c7TvNrbSNF2g5q74I5svDrIBG9nW Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On 2016-07-10 07:24, Mark Oteiza wrote: > and ending up with bad indentation because of prettify-symbols-mode. That. How do we solve this? Wouldn't it be nice if space on the line below could be compressed too, s= o that indentation is fine? That is, if I prettify =E2=80=98and=E2=80=99 as =E2=80=98=E2=88=A7=E2=80=99= , I currently turn (and x y z) into (=E2=88=A7 x y z) which looks wrongly aligned, and then if I reindent I get (=E2=88=A7 x y z) which looks like (and x y z) to others who don't use prettification. What if spaces inside of a sexp, under a prettified symbol, could be pret= tified too? So I'd see (=E2=88=A7 x y z) but the buffer would really contain (and x y z) that is, it would behave as if the text was really (and x and y and z) only the two last =E2=80=98and=E2=80=99s would be invisible. Of course this wouldn't solve every problem, (stuff that e.g. align-regex= p produces would still be misaligned), but it would be a good start, no? I wonder how hard it would be. Cl=C3=A9ment. --MRlt3c7TvNrbSNF2g5q74I5svDrIBG9nW-- --W7X1h2DXm7Ek3NOVTbGSa8PIQgpQKBP0K Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.22 (GNU/Linux) iQIcBAEBAgAGBQJXgl0+AAoJEPqg+cTm90wj/3YP/2ZqaiZctXOf7ZSQ7K2tt795 PB+hvz/q459f3Eiw8uZq6DGKK7Z5r8Y8FfQn5aa8nYPeThOmXPre0XbYr+h7l0xF FsOcpYInsX+yQZhowt1oWcnRC3f4qcE0iv4DLQnBLJorVP9WUILLIIQoK34RW8BF OXeBBHSwD7WjPPzpJvb4Ydt5gpkD5jGZtme9JKnYqaHwrDCQSvvajuOfYAl1wt2V SsD0PW5oZ/r7uVbOwO3H92xNc63LxHHuZNLn6pxPM6kzadR+5xK+OueDf6htjcV1 X0DU38TGACsR1khPaenpnlxGmY3SV3UO6HQna+EUbShlHsToeqWUuZ46yQ2/m47/ f0ZTCYzIf3RGiqJQoaLpIpBwn7UI8fyUKQw/Grl6Nj8UV+CaQht9en7+wOjLmeLR V5zyvRBH3VoVMHgnu1cePwWa2ip6BCpMP1wxIujGFD3mFHQ4I8degxFbBkXdn76X HAeXJZvoZpQdzsi9pGwSvtIZwr45jonqqrdpTo9Qpc4HndXNcxeGHqQiIWE3JBub mCojsjiZXcRRPtXHwmdRDA5rt7NwoWUltADvy2fAqtSQhPWqTMRhMCsxYxWFo8tK NztT2/ij+WUI/4F2vjkmWXIrVB5/5f3pcZN8p8PR36adB7SBriblwXgTEL96HqXm /QpirUcUdIRK2udPLOAQ =zbNj -----END PGP SIGNATURE----- --W7X1h2DXm7Ek3NOVTbGSa8PIQgpQKBP0K--