From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.bugs Subject: bug#38485: Customizing glyph widths Date: Thu, 05 Dec 2019 05:34:10 +0200 Message-ID: <83o8wnigy5.fsf@gnu.org> References: <3183ba6c-6aea-fa25-bb32-7e5ff7c04ad6@gmail.com> <83y2vshyvn.fsf@gnu.org> <478afae1-0080-c825-5a53-1bc8e897a1cc@gmail.com> <83sgm0hvhx.fsf@gnu.org> <4e6c87d3-21c0-1820-96f2-62bb0dd7c925@gmail.com> <83r21khquw.fsf@gnu.org> <32a6f122-f21a-4522-21d6-0ae0a17b6bee@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="191399"; mail-complaints-to="usenet@blaine.gmane.org" Cc: casouri@gmail.com, 38485@debbugs.gnu.org To: =?UTF-8?Q?Cl=C3=A9ment?= Pit-Claudel Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Thu Dec 05 04:40:39 2019 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([209.51.188.17]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1ici0N-000nfz-Kq for geb-bug-gnu-emacs@m.gmane.org; Thu, 05 Dec 2019 04:40:39 +0100 Original-Received: from localhost ([::1]:49506 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ici0L-0000r5-RE for geb-bug-gnu-emacs@m.gmane.org; Wed, 04 Dec 2019 22:40:37 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:37858) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ichvE-0002Cc-FY for bug-gnu-emacs@gnu.org; Wed, 04 Dec 2019 22:35:21 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ichv8-0002wM-HS for bug-gnu-emacs@gnu.org; Wed, 04 Dec 2019 22:35:18 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:36907) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1ichv4-0002p8-Se for bug-gnu-emacs@gnu.org; Wed, 04 Dec 2019 22:35:12 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ichuv-0000Xo-Oc for bug-gnu-emacs@gnu.org; Wed, 04 Dec 2019 22:35:01 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Eli Zaretskii Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 05 Dec 2019 03:35:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 38485 X-GNU-PR-Package: emacs Original-Received: via spool by 38485-submit@debbugs.gnu.org id=B38485.15755168632027 (code B ref 38485); Thu, 05 Dec 2019 03:35:01 +0000 Original-Received: (at 38485) by debbugs.gnu.org; 5 Dec 2019 03:34:23 +0000 Original-Received: from localhost ([127.0.0.1]:42876 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ichuI-0000WY-Hg for submit@debbugs.gnu.org; Wed, 04 Dec 2019 22:34:22 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:49126) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ichuH-0000WI-LT for 38485@debbugs.gnu.org; Wed, 04 Dec 2019 22:34:21 -0500 Original-Received: from fencepost.gnu.org ([2001:470:142:3::e]:33917) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ichuA-0000Xo-JS; Wed, 04 Dec 2019 22:34:15 -0500 Original-Received: from [176.228.60.248] (port=1572 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1ichuA-0007LW-2m; Wed, 04 Dec 2019 22:34:14 -0500 In-reply-to: <32a6f122-f21a-4522-21d6-0ae0a17b6bee@gmail.com> (message from =?UTF-8?Q?Cl=C3=A9ment?= Pit-Claudel on Wed, 4 Dec 2019 15:53:43 -0500) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 209.51.188.43 X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.org gmane.emacs.bugs:172868 Archived-At: > Cc: casouri@gmail.com, 38485@debbugs.gnu.org > From: Clément Pit-Claudel > Date: Wed, 4 Dec 2019 15:53:43 -0500 > > > No, it will simply make each prettified symbol take up the same width > > as the original characters of the symbol that were composed. Isn't > > that what everyone would want, and want for _all_ prettified symbols? > > Probably not. In proof-general, we display 'forall' as ∀ and 'exists' as ∃. In my own configuration I also change "Qed" to ■ "Defined" to □, and "Admitted" to 😱. These shouldn't be widened, I think — especially not the last ones (there is a case to be made for widening forall, since otherwise we might get indentation issues, but in Coq Qed, Defined and Admitted don't introduce indentation changes, so it's safe not to widen them. Are you saying that we _can_ not widen them, or are you saying that we _must_not_ widen them? If the latter, can you explain why not?