From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.bugs Subject: bug#39390: 28.0.50; prettify-symbols-mode confuses display when start/end faces are different Date: Mon, 17 Feb 2020 21:24:03 +0200 Message-ID: <834kvpm2zw.fsf@gnu.org> References: <3184164c-5d94-6cb3-aca4-338b710bf97f@thaumogen.net> <83eevcj4ar.fsf@gnu.org> <83blqgj285.fsf@gnu.org> <34ca60a0-3658-0e64-b16f-829d914d4b81@thaumogen.net> <837e14iynq.fsf@gnu.org> <27701089-4429-f345-6ecd-4f11d3124a8c@thaumogen.net> <8336bsiwe2.fsf@gnu.org> <83v9onhdq4.fsf@gnu.org> <83o8tymnlk.fsf@gnu.org> <83mu9imitt.fsf@gnu.org> <83lfp2mimd.fsf@gnu.org> <50e865ca-58f4-7111-65de-15be80741357@thaumogen.net> <83k14mmgcq.fsf@gnu.org> <87ftf931kw.fsf@gnu.org> <875zg5432t.fsf@gnu.org> <83blpxm89v.fsf@gnu.org> Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="23255"; mail-complaints-to="usenet@ciao.gmane.io" Cc: tsdh@gnu.org, 39390@debbugs.gnu.org To: Raphael 'kena' Poss Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Mon Feb 17 20:24:13 2020 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1j3m04-0005u3-Sk for geb-bug-gnu-emacs@m.gmane-mx.org; Mon, 17 Feb 2020 20:24:12 +0100 Original-Received: from localhost ([::1]:51632 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1j3m03-0000Ct-VY for geb-bug-gnu-emacs@m.gmane-mx.org; Mon, 17 Feb 2020 14:24:11 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:54711) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1j3lzv-00007c-5s for bug-gnu-emacs@gnu.org; Mon, 17 Feb 2020 14:24:04 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1j3lzu-0000lI-6v for bug-gnu-emacs@gnu.org; Mon, 17 Feb 2020 14:24:03 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:33284) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1j3lzu-0000l8-45 for bug-gnu-emacs@gnu.org; Mon, 17 Feb 2020 14:24:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1j3lzt-0002U0-Qw for bug-gnu-emacs@gnu.org; Mon, 17 Feb 2020 14:24: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: Mon, 17 Feb 2020 19:24:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 39390 X-GNU-PR-Package: emacs Original-Received: via spool by 39390-submit@debbugs.gnu.org id=B39390.15819674379533 (code B ref 39390); Mon, 17 Feb 2020 19:24:01 +0000 Original-Received: (at 39390) by debbugs.gnu.org; 17 Feb 2020 19:23:57 +0000 Original-Received: from localhost ([127.0.0.1]:39257 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1j3lzp-0002Tg-Gz for submit@debbugs.gnu.org; Mon, 17 Feb 2020 14:23:57 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:39569) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1j3lzo-0002TV-8i for 39390@debbugs.gnu.org; Mon, 17 Feb 2020 14:23:56 -0500 Original-Received: from fencepost.gnu.org ([2001:470:142:3::e]:58953) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1j3lzj-0000gY-3x; Mon, 17 Feb 2020 14:23:51 -0500 Original-Received: from [176.228.60.248] (port=2962 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1j3lzh-0004Qp-Sr; Mon, 17 Feb 2020 14:23:50 -0500 In-reply-to: (message from Raphael 'kena' Poss on Mon, 17 Feb 2020 13:37:07 -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-mx.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.io gmane.emacs.bugs:176157 Archived-At: > Cc: 39390@debbugs.gnu.org > From: Raphael 'kena' Poss > Date: Mon, 17 Feb 2020 13:37:07 -0500 > > On 17-02-2020 12:30, Eli Zaretskii wrote: > > So this limitation is not > > really arbitrary, and can only be lifted by a thorough redesign of how > > the display engine traverses the text it is about to display, and what > > it does when it meets a composition that crosses face boundaries. > > My humble opinion on this is that either the compose function should > report an exception / error, or pick some arbitrary behavior (e.g. just > use the 1st face for the entire substitution) and use that. We cannot raise an exception inside redisplay, because that would produce an infinite sequence of error messages (each error message requires a redisplay cycle -- to display the message -- which then again raises the same exception). > It seems strange to me to accept the current non-deterministic, > display-corrupting behavior as a reasonable alternative. We are talking about 2 different things. I was talking about composing characters across face changes, whereas you were talking about handling invalid composition rules, such as the one you tried to use.