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:57:45 +0200 Message-ID: <57826269.3080500@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="xANJkr15SSOP7WaXXVorHsIUL2dPTefTA" X-Trace: ger.gmane.org 1468162729 18316 80.91.229.3 (10 Jul 2016 14:58:49 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 10 Jul 2016 14:58:49 +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:58:41 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 1bMGBs-0002eU-RS for ged-emacs-devel@m.gmane.org; Sun, 10 Jul 2016 16:58:40 +0200 Original-Received: from localhost ([::1]:55504 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bMGBs-00058g-3E for ged-emacs-devel@m.gmane.org; Sun, 10 Jul 2016 10:58:40 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:38677) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bMGB6-00056m-3Q for emacs-devel@gnu.org; Sun, 10 Jul 2016 10:57:52 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bMGB1-0002Sy-Qa for emacs-devel@gnu.org; Sun, 10 Jul 2016 10:57:51 -0400 Original-Received: from mout.kundenserver.de ([212.227.126.135]:64941) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bMGB1-0002Sr-Fx for emacs-devel@gnu.org; Sun, 10 Jul 2016 10:57:47 -0400 Original-Received: from [192.168.1.82] ([109.24.225.43]) by mrelayeu.kundenserver.de (mreue002) with ESMTPSA (Nemesis) id 0MHfXI-1bPZYs0Dee-003J9V for ; Sun, 10 Jul 2016 16:57:46 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.8.0 In-Reply-To: X-Provags-ID: V03:K0:JEkeLxgTALDsQxL7/OB6vuZ/laZBBVNAkWwOkmPnoaGOJZ6OGTf iAytxPKL58hWz8c/y1FFYnonaS6FwGqr9kHTtF4COyoUVNRbb0iptQZ2pC8jcYYm3EVHPYW Xvr6thzTu6pfXISDv9MMurWRrkr2DK0uhcmkHkID8SHXq9HV26bLj7LZfvkBfZJJoR7EGyG uOFLYC9dwr6b3dYUOyySg== X-UI-Out-Filterresults: notjunk:1;V01:K0:yG3kIfs+VkY=:VU4zIqXiqPPPJPPQ5ZNctW 26/oqVROL/0aP3dBWiojf6/BYKo3vU8azjDPucZTo3UN0DSUPjozGGCqxbPpi8KaG2BbGukJ6 yzkFkK7ocKmhSrX1dNyw3/LuNb9S/Gfb0TDnHc747/5gopAjmhjllRnCWOLBgGEQI8hSCHmWm rlYGIUrk73aQI4Kws1nikg5ompJtwi+OdcNLqhmFHFYE2QaYSDjVgoSinoLTOVeohALLkk7KJ yZZd4xTEW/+XX2NK9JA3IRSGF3kmLL/11mkMns8gdsJ9GWPhvIThEqBcF8/pwpMTSZxemL0Dp 4kNmIzVqB6+BTYN1uUe89wh7u+vf4aqdWtAoxCJxcw2GRJLZNZkFOLa84j1x9JJWFE1NPfEM7 xdirATjqS6iyDZrNJpiNabvRw1UNmu7gOpGr1nzqs2nlB+6clQBq25dD5iKrLTXS7cmMBV1Lr 4pVmp0cgS5MwKNADUGbg7PDFVhaU+po0MUPlVw1LCEoWgNIzBxz7Cgoi2+qqDxxUtYI+UD+/N wfvVtdzHHxxnqKG6ge4sT34DYoidcwjs5nQTDxI6ABAAqKSA3ANrx1FPjvz1DPGJbuW02rEIg 3tEGN4FgmhZc2rPQTh3SPLXNq76GNvwRV9M01TmNgO3bpJrdXFCUY9acUCgCmQ4mMaSAk+PkA XnkHiRIabG1zkhh90Q6+0ArLhyfx7+0RIFpuAIEFijkrIH1wmxE5GHs7PmnnHkmWKjWs= X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 212.227.126.135 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:205501 Archived-At: This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --xANJkr15SSOP7WaXXVorHsIUL2dPTefTA Content-Type: multipart/mixed; boundary="jKvckUSxsgvQ04sCLwBtBlxeaFqCD0iwj" From: =?UTF-8?Q?Cl=c3=a9ment_Pit--Claudel?= To: emacs-devel@gnu.org Message-ID: <57826269.3080500@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: --jKvckUSxsgvQ04sCLwBtBlxeaFqCD0iwj Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On 2016-07-10 16:44, Stefan Monnier wrote: > (e.g. the > format of prettify-symbols-alist is likely to be extended in ways which= > are inconvenient for an end-user, and if the end-user customizes his > var he won't benefit from later improved defaults). In company-coq I have a base list, and two extra variables that are expec= ted to be set file-locally and directory-locally, which are merged upon i= nitialization of the minor mode with the base list.=20 --jKvckUSxsgvQ04sCLwBtBlxeaFqCD0iwj-- --xANJkr15SSOP7WaXXVorHsIUL2dPTefTA 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) iQIcBAEBAgAGBQJXgmJqAAoJEPqg+cTm90wj1ccP/2Gy9YgqS3QhQlnl2jKrGIcb xXW1ZoW0QU7p3++4MqUPwHOE61hlS9M4G38R2SZoPS4qJpMZD4xus1KGZpiv0zQ5 X0AfKkLjtkQUWc89BPtSwsGkeGiOus9Fqb+5AO0U9UVfoOBWeeQ9bhWeZminxn+s znRCrIZZj0omah3bby43bi8Hmi1kx66E40ZchgVBz18Z07ugBUDt61ujHcFHetfF a37o+DixvUEwZcfChPgDMZ/iSjzl2SlCGfO9RMzenp3LjLlBsYX6Cjm+iUJQl53S PWaKR/jn6vUoZLov988jBx5iZTH4FiYWlD+cdKNX1YFiOQTFt0WmVRz6x6fhXhyE 0hS0YIJ/svbrUE5Xp67IjXkB0ZuETjqWcbVbGCzr9m19QZRPqBRcgeTIhB9sJjPP pkn2krN3RpA+EMOYuNms5DcbiDwSZjnOr9pH/IOAQbxupyCtvWsYpwelOxqJ8H2T TbOJZ8fRKab+2SH2U1PuwnYNQ5dRApNA3roppL8qU1N/mGl9fD60ULqJU+oANc6/ ZCS9tDSh9CxvLX5n91qQvTHDtu3d15UK2dUgNUWfLfYuydQcUJRGFR0iY14xZFwT ysao+g5l3GwO0CIPmrS9dU+3ppkxW62H3LJSJheIxP1BNOCRmitgaQxEp5N038uM i/e8EfC3AKSXhsqys3xc =XGOq -----END PGP SIGNATURE----- --xANJkr15SSOP7WaXXVorHsIUL2dPTefTA--