From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Raphael 'kena' Poss 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 14:28:09 -0500 Message-ID: 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> <834kvpm2zw.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="55495"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.4.1 Cc: tsdh@gnu.org, 39390@debbugs.gnu.org To: Eli Zaretskii Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Mon Feb 17 20:30:37 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 1j3m6H-000EKl-8L for geb-bug-gnu-emacs@m.gmane-mx.org; Mon, 17 Feb 2020 20:30:37 +0100 Original-Received: from localhost ([::1]:51858 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1j3m6G-0001VJ-9V for geb-bug-gnu-emacs@m.gmane-mx.org; Mon, 17 Feb 2020 14:30:36 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:55344) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1j3m4k-0007NZ-UY for bug-gnu-emacs@gnu.org; Mon, 17 Feb 2020 14:29:03 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1j3m4j-00039Q-RF for bug-gnu-emacs@gnu.org; Mon, 17 Feb 2020 14:29:02 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:33305) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1j3m4j-00039J-OE for bug-gnu-emacs@gnu.org; Mon, 17 Feb 2020 14:29:01 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1j3m4j-0002cK-LG for bug-gnu-emacs@gnu.org; Mon, 17 Feb 2020 14:29:01 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Raphael 'kena' Poss Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 17 Feb 2020 19:29: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.158196769710000 (code B ref 39390); Mon, 17 Feb 2020 19:29:01 +0000 Original-Received: (at 39390) by debbugs.gnu.org; 17 Feb 2020 19:28:17 +0000 Original-Received: from localhost ([127.0.0.1]:39278 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1j3m40-0002bE-Ul for submit@debbugs.gnu.org; Mon, 17 Feb 2020 14:28:17 -0500 Original-Received: from out5-smtp.messagingengine.com ([66.111.4.29]:33405) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1j3m3z-0002b2-H3 for 39390@debbugs.gnu.org; Mon, 17 Feb 2020 14:28:15 -0500 Original-Received: from compute2.internal (compute2.nyi.internal [10.202.2.42]) by mailout.nyi.internal (Postfix) with ESMTP id 5E9DE212BF; Mon, 17 Feb 2020 14:28:10 -0500 (EST) Original-Received: from mailfrontend1 ([10.202.2.162]) by compute2.internal (MEProxy); Mon, 17 Feb 2020 14:28:10 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=thaumogen.net; h=subject:to:cc:references:from:message-id:date:mime-version :in-reply-to:content-type:content-transfer-encoding; s=fm1; bh=+ vE1Z00F2CTR0bvbdAj+E2xT6KaBOgRrQdjH3eQBHKc=; b=uralEy2juXrGvVl33 8lN9mi0FuK2EEeHU/WXD9aOrX5sVw5aVreiZcwHNPgTyrbyN9+zZICJS35+TOfXy uux8j3akuzLP0kZPpGCcJg4nVSzone+NH9pylVeUKEvJ1dlTrAlzFt7cy/7uazyL 7kcEluUe/73UfvQ/5MzaLQMkjJc6HvX0RoFe+NzWjE+GZ6dLhiAKaJUefQDg3SO6 oeqF6KlbSIgVfJV12uJSOJ+sddwqqLaa+wAwNj7g5jq7zdIbKDJW0zUZw0WKYASq porzJ1X8w/GkZxUyERIQLbt4FLgdCjE8Y37ke534aJZc7zQQ3LKucfPX2LkIDRmn 0jQ8Q== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-transfer-encoding:content-type :date:from:in-reply-to:message-id:mime-version:references :subject:to:x-me-proxy:x-me-proxy:x-me-sender:x-me-sender :x-sasl-enc; s=fm2; bh=+vE1Z00F2CTR0bvbdAj+E2xT6KaBOgRrQdjH3eQBH Kc=; b=KZYkx2DFrWZhpJT5eOkeXv6F5d04Tl6FbTsRPdRqFbFArxr0mMdRXmJG9 0klNxKp8zBVUF7Qjak+ucVk1CQFnm4OA3i7mHih3tFie4EVQVOpzt9TDb7bVA13r 6cSq8R2VzDXC56suGqlfHfHMm2mHs7ytZu9tZYgCT089lZ87bqsf+QLSo2x3dXiM 1ab0ButV5DldwX2t1++IHJM03oxCOfHiV4EmcQt11hWtCCLlC5BvHc80pJUSxW9o vaprBaJ2iZdC3Zs/bjHxceOJ4zchfqhccgQT33hrn2rkIO41Jvy21KjMehEjU1+0 OnQgvE+26hwV6XDWZUYnW4wO/YsBA== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedugedrjeeigdduvdeiucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmne cujfgurhepuffvfhfhkffffgggjggtgfesthejredttdefjeenucfhrhhomheptfgrphhh rggvlhcukdhkvghnrgdkucfrohhsshcuoehknhiisehthhgruhhmohhgvghnrdhnvghtqe enucfkphepuddtgedruddvledrudefjedrvdegieenucevlhhushhtvghrufhiiigvpedt necurfgrrhgrmhepmhgrihhlfhhrohhmpehknhiisehthhgruhhmohhgvghnrdhnvght X-ME-Proxy: Original-Received: from [192.168.13.126] (unknown [104.129.137.246]) by mail.messagingengine.com (Postfix) with ESMTPA id AE0503280063; Mon, 17 Feb 2020 14:28:09 -0500 (EST) Autocrypt: addr=knz@thaumogen.net; prefer-encrypt=mutual; keydata= mQSuBFN56cERDACePTTZjZwCCXm5d4VheFgjGYG9kY3FNlmGOP2UtwHnbhK5TIe+8GYjE+8R uNuf49+zvDFDtBgwGwi0WQndC/OOhRqg2OyTjNNJWtnvbpiwSGBI15acvL/7gLkZPHi4IR7q 6RnV+Uj76G8h0jyoLzkrdilvJe8xdkQ+zEPuqIxFRwr/Of2/fbt6icSiIpNvOKAD8xhNWWlF NW3QS4h4ug7v2ntrwZTam7I4W7GOubMhThZoCRWCVSN/V37yGOAvHdiaHb5cDdayQN3obH9c kpMTreichl6/0Gklx6OgGLjnRl7UeHSUa9VaINpbVPHZyye6KNCAYxF7ppCVfJOt6Xv+Wih9 F4G7D3nVlOxHeXUph+oqsiJXCX/niBPkb0NjQv0ZqDvEK6u/uZNSvM0y+1K64aE5oMdQd1EY DWZDWlBPcispKi6MQnRfw7PXrXGcuHJ5x5VbLRLOzMMyqP6XdJgcGwoMkH8HCdV+P8t8tc9+ En8diYj91GGPVQG542fB9asBALzvA44LMFPh0CmiJltaXXcp1VDUhyww7F/BBa6TW6OjC/4r 0xupaCFwIO74D1y4QuGwBZRrKFTxC0zyvtnKyAnNexpwDZFZmCuMxkZDAN0TcF5Slkr9k8SB 7rBGjkDfuHZ9YB1e8LQQMaYM4p743q6cQeGJ++YgaHQu/r4RulTICOeq1av0yYJ0i9gEZA6M OHKHvu0PxRD8jy3ybMdW2a8WYoHIL8Fg3BjWIV6gBkcYuwQYVLQCR8seMZl5+YafTLWU8YuF txDOXNWueeFbKALKb4 In-Reply-To: <834kvpm2zw.fsf@gnu.org> Content-Language: en-US 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:176159 Archived-At: On 17-02-2020 14:24, Eli Zaretskii wrote: >> 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). Yes I understand that but I was thinking that `compose-region` would be the place to check validity. >> 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. Look there is nothing else that determines what is "valid" and "invalid" than what the docs say and what emacs allow me to configure. At this point neither the doc of `compose-region` nor its code prevent me from using this configuration, so from the user's perspective (mine) the configuration is valid -- and instead I find a bug in the redisplay code. If you want to hold a position that the configuration is invalid, Emacs (or some function) needs to be first taught to refuse it. Meanwhile if the configuration can be deemed valid but with reduced functionality (as in, the behavior is limited to only use one face, the first one found in the composition), that could also be documented. -- Raphael 'kena' Poss