From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Mark Oteiza Newsgroups: gmane.emacs.devel Subject: Re: =?utf-8?Q?=C2=AC?= notation for not? Ref: Add a couple cells to lisp-prettify-symbols-alist Date: Sun, 10 Jul 2016 11:20:36 -0400 Message-ID: <87oa65eczf.fsf@udel.edu> References: <20160710052404.GA28783@holos.localdomain> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1468164110 5239 80.91.229.3 (10 Jul 2016 15:21:50 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 10 Jul 2016 15:21:50 +0000 (UTC) Cc: emacs-devel@gnu.org To: Stefan Monnier Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sun Jul 10 17:21:44 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 1bMGY9-0003gs-EL for ged-emacs-devel@m.gmane.org; Sun, 10 Jul 2016 17:21:41 +0200 Original-Received: from localhost ([::1]:55600 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bMGY8-0002xp-Jg for ged-emacs-devel@m.gmane.org; Sun, 10 Jul 2016 11:21:40 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:43308) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bMGXD-0002vy-DF for emacs-devel@gnu.org; Sun, 10 Jul 2016 11:20:44 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bMGX9-0006n1-Kv for emacs-devel@gnu.org; Sun, 10 Jul 2016 11:20:42 -0400 Original-Received: from mail-qt0-x235.google.com ([2607:f8b0:400d:c0d::235]:35894) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bMGX9-0006mu-El for emacs-devel@gnu.org; Sun, 10 Jul 2016 11:20:39 -0400 Original-Received: by mail-qt0-x235.google.com with SMTP id k35so17421624qtc.3 for ; Sun, 10 Jul 2016 08:20:39 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=udel-edu.20150623.gappssmtp.com; s=20150623; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-transfer-encoding; bh=lURzVLPccQTmuns2OnGPzYsPNTyktAh8W4nvy4/ijj8=; b=RodwBcE/naVu1SaDavVkqlsWjBYbOStQVhOt+ahFTqmoeTJI0fR5sGGZuHwC+keptn LTYrVG7BtSo6xvs9nRumggPP1UqtuiVBFzDn7RoZ9uAAWalIaBN119jMlti1Fmkgcx67 KPxrj8eDJgBHtx5I7K3/J54TyFSUIbLxQQ0NamKD4WCVE1cJzzfxkRQqIkeN9LqM6GAt Mil+gffasba65/jUWzWyzl/NvHeFXwGlPd4zdpc/fI1rtBX3UbRT436A33/QtOYyhQXu pmKbWAHeObqvt3bASSk/vsCllHQMLv+LcSpqpne7DmRzrNUAMvl6jvcqAIYtLz9ORtQ7 teAQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version:content-transfer-encoding; bh=lURzVLPccQTmuns2OnGPzYsPNTyktAh8W4nvy4/ijj8=; b=GPTOZG83yubtHVIBgag1Cix+PxCKgsiUm5Gaisu85k/blYIcM92SuD4hTYxR228zED 2DgqUZdW4QwqP+7XqHYhihh6QoM0JJknqP/gjGyCCIHod9HXfqzddutmvURgZw00PBwq lDn1NLZyyz3ATpiaezk9RJE/cwdCAcmtbAP9tG2PZEWQAHohGGIrgeb5WlKvHqj+Hj7s 6u7Zl//DLwkxPH/BFXuiaLSNnoCKllM06Zgrv1pJTEnCl1H+MWyNWrBd8PYV36SGKerL QfOaUfoRalFy0zA4WNluuy7OcobAE1ypEaarAeR9hMDzqMObvdpc8zEs24JRq5IialHO b9lw== X-Gm-Message-State: ALyK8tJCtjT1KZhWqFI0HGRkG1DeET6GIdWtX1qiTCTBlKlDR1FMY292yZ/wsSusdtZoaciF X-Received: by 10.200.52.43 with SMTP id u40mr23323205qtb.74.1468164038432; Sun, 10 Jul 2016 08:20:38 -0700 (PDT) Original-Received: from holos.localdomain (ip68-100-200-121.dc.dc.cox.net. [68.100.200.121]) by smtp.gmail.com with ESMTPSA id r74sm2325025qke.48.2016.07.10.08.20.37 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 10 Jul 2016 08:20:37 -0700 (PDT) Original-Received: by holos.localdomain (Postfix, from userid 1000) id 44972685B5; Sun, 10 Jul 2016 11:20:36 -0400 (EDT) In-Reply-To: (Stefan Monnier's message of "Sun, 10 Jul 2016 10:44:38 -0400") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.1.50 (gnu/linux) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2607:f8b0:400d:c0d::235 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:205506 Archived-At: Stefan Monnier writes: >> Part of the inspiration for adding more things to some modes has been >> that of the p-s-alist in tuareg.el: >> https://github.com/ocaml/tuareg/blob/master/tuareg.el#L468 > > FWIW, I don't much like the new "not" and "sqrt" thingies either, tho > I wasn't bothered enough to turn them off either, so I can clearly live > with them. > > I like =C2=AC in tuareg-mode, OTOH. Not sure exactly why my reaction is > different in those two cases. Maybe the parentheses make a difference, > or maybe it's the tradition to use longish names (and hence indent > differently) in Lisp vs the tradition to use shortish names in ML? I'd have to agree that it all looks better in ML >> In any case, I don't feel strongly about it. One thing I just thought >> of is making a mode's foo-prettify-symbols-alist a defcustom--perhaps >> that will be nicer. > > There's a clear need for some customization, indeed. There isn't any > right now partly because I couldn't come up with a good idea (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). > > At some point I was tempted to add a `prettify-symbols-inhibit` which > would contain a list of chars. E.g. I'd personally put =E2=88=9A globall= y in > that list. Perhaps doing it how calc manages its units would be satisfactory? The short of it being that `math-standard-units' and user-defined `math-additional-units' are used to build `math-units-table'. Though, for units there isn't a need to blacklist, and it sounds like a good option to have for prettify-symbols.