From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: =?UTF-8?Q?Cl=c3=a9ment_Pit-Claudel?= Newsgroups: gmane.emacs.devel Subject: Re: Ligatures Date: Tue, 19 May 2020 00:51:17 -0400 Message-ID: <3578451a-bf33-96ca-e0d9-63842aaf8893@gmail.com> References: <20200517124125.000013a4@web.de> <97C7EAB7-10AB-4702-ABC8-EB6C1C50ABDB@gnu.org> <20200517165953.000044d2@web.de> <83lflqblp0.fsf@gnu.org> <83ftbybio3.fsf@gnu.org> <83zha69xs2.fsf@gnu.org> <83367x9qeq.fsf@gnu.org> <83y2pp88lw.fsf@gnu.org> <83pnb182ce.fsf@gnu.org> <65807546-ed40-a175-640d-9da7a1548d8a@gmail.com> <83o8qk8xv6.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="18411"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.7.0 Cc: emacs-devel@gnu.org To: Stefan Monnier , Eli Zaretskii Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Tue May 19 06:52:01 2020 Return-path: Envelope-to: ged-emacs-devel@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 1jauES-0004f4-OF for ged-emacs-devel@m.gmane-mx.org; Tue, 19 May 2020 06:52:00 +0200 Original-Received: from localhost ([::1]:46804 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jauER-0001RY-Pj for ged-emacs-devel@m.gmane-mx.org; Tue, 19 May 2020 00:51:59 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:59318) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jauDp-0000hu-9w for emacs-devel@gnu.org; Tue, 19 May 2020 00:51:21 -0400 Original-Received: from mail-qt1-x82f.google.com ([2607:f8b0:4864:20::82f]:39299) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jauDo-0007eq-ID; Tue, 19 May 2020 00:51:21 -0400 Original-Received: by mail-qt1-x82f.google.com with SMTP id l1so10137826qtp.6; Mon, 18 May 2020 21:51:19 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:to:cc:references:from:message-id:date:user-agent :mime-version:in-reply-to:content-language:content-transfer-encoding; bh=ju4nXG8kyUEVb9g/U5nfvsrOIKUWlNhLtVa0/SC00fs=; b=UNxvimtPWQw+OTZ4f83dZq3XSC7gYMBuGfqKEj4fjeg53TLfp4PwzmujYBIabIgcAu h7FkvRURjRevia9cMdtL/pNMtFEI0r0zCiCJ/339AL3SnX5ErYy78rita3jCBRCP/OCC 4DQCvs6rWINaSIuV0UZaA+CL9A4TlrU7xwf7x/KoQMzHsnXTJFNBGoUzkmhRgkIjYTo6 66ebADwVtSNZNzAFENz4O253Nh5KsH7C06GGZ7s5jUWs64WQLZ49ExEii9VGlT5kWhU1 nMDvmgAk1Hatij0UObCThh4pAX5a57a1IVnIoZTm697VhJnxOo2se6ouwSQKk77KZ2KI BgoQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:cc:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-language :content-transfer-encoding; bh=ju4nXG8kyUEVb9g/U5nfvsrOIKUWlNhLtVa0/SC00fs=; b=kuwfJ0VL6MjSBnGbj0mfYaqBceMjjt7CwxaUslZQfMdb8715GJOqPgyyq2NKx76+A6 HoKEQ1KfEfLowWA+v+TU30GgUtW03RAIR/id0G2/OaA1BuY475DdKjH+jUPMHdq1KNoW l7sF1PH5qXtjb3RaEmVaFBsuAHi9UKbFSN80POq6QjjRBMqh2yM0Ks9EipuDqHCrz7n+ Xy4jAih+GQgJIMc95xFnmSfohB3967UFeT/5jj1TiSbKbBFyP0JuOQyZC6+TlrlgkByk JiA7DZ/nrFmenVNnszana5cVr7IAGLqRy9h/Lre7mI7Z/oU7tXp782+ye6w4FxERYet9 XGGg== X-Gm-Message-State: AOAM530wnwxstd011BFfz+nLvJ56wRY13+YdhcXqpMC3xtKVRnF2gahg JhelJkSxnJXajcL/ExYf3eqJ5TOh X-Google-Smtp-Source: ABdhPJzaY2OfSZWcj3ovknldvgpMxgnH/XbQ4MIagGF8fNjmecGIzGZhU4pdTrjphAw/1LX6MZ63eA== X-Received: by 2002:ac8:2a95:: with SMTP id b21mr18409191qta.234.1589863879037; Mon, 18 May 2020 21:51:19 -0700 (PDT) Original-Received: from ?IPv6:2601:184:4180:66e7:bda5:ac5c:1de0:b677? ([2601:184:4180:66e7:bda5:ac5c:1de0:b677]) by smtp.googlemail.com with ESMTPSA id d50sm11493041qtb.13.2020.05.18.21.51.18 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 18 May 2020 21:51:18 -0700 (PDT) In-Reply-To: Content-Language: en-GB Received-SPF: pass client-ip=2607:f8b0:4864:20::82f; envelope-from=cpitclaudel@gmail.com; helo=mail-qt1-x82f.google.com X-detected-operating-system: by eggs.gnu.org: No matching host in p0f cache. That's all we know. X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_PASS=-0.001 autolearn=_AUTOLEARN X-Spam_action: no action X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.23 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-mx.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.io gmane.emacs.devel:250871 Archived-At: On 18/05/2020 23.47, Stefan Monnier wrote: > (except when I want > to change it to `=>`, of course). Variants of this case are not too uncommon, and they're not always as simple as removing the beginning of the composition to replace it with something else. For example, I'm typing a regexp in javascript, enclosed in /…/; then I add a backslash at the end of the regexp to escape a character that I haven't typed yet, and \/ turns into a composition, and the point disappears. Or I write html, with a buffer that contains , I type an = sign after the href, and => gets composed into ⇒, and the point disappears. There are many such examples, and if I lose my position, I need to delete part of the composition.