From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Augusto Stoffel Newsgroups: gmane.emacs.bugs Subject: bug#61814: [RFC] Asynchronous, jit-lock-based Flyspell Date: Mon, 27 Feb 2023 10:58:43 +0100 Message-ID: <87bklfig4s.fsf@gmail.com> References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="40165"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: eliz@gnu.org, 61814@debbugs.gnu.org To: Yuan Fu Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Mon Feb 27 10:59:33 2023 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 1pWaI8-000AFN-R4 for geb-bug-gnu-emacs@m.gmane-mx.org; Mon, 27 Feb 2023 10:59:32 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pWaHn-0006ep-4Z; Mon, 27 Feb 2023 04:59:11 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pWaHg-0006d9-BU for bug-gnu-emacs@gnu.org; Mon, 27 Feb 2023 04:59:05 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pWaHe-0004BZ-Iz for bug-gnu-emacs@gnu.org; Mon, 27 Feb 2023 04:59:03 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1pWaHd-0006dT-R2 for bug-gnu-emacs@gnu.org; Mon, 27 Feb 2023 04:59:01 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Augusto Stoffel Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 27 Feb 2023 09:59:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 61814 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: patch Original-Received: via spool by 61814-submit@debbugs.gnu.org id=B61814.167749193425493 (code B ref 61814); Mon, 27 Feb 2023 09:59:01 +0000 Original-Received: (at 61814) by debbugs.gnu.org; 27 Feb 2023 09:58:54 +0000 Original-Received: from localhost ([127.0.0.1]:45953 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pWaHV-0006d7-Rz for submit@debbugs.gnu.org; Mon, 27 Feb 2023 04:58:54 -0500 Original-Received: from mail-ed1-f48.google.com ([209.85.208.48]:46817) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pWaHT-0006ct-MN for 61814@debbugs.gnu.org; Mon, 27 Feb 2023 04:58:52 -0500 Original-Received: by mail-ed1-f48.google.com with SMTP id o15so20814317edr.13 for <61814@debbugs.gnu.org>; Mon, 27 Feb 2023 01:58:51 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=content-transfer-encoding:mime-version:user-agent:message-id:date :references:in-reply-to:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=ZYyfRQiecWqOKFNJarQeIDnqBscOBoaFPbQymR1/rts=; b=LjBY54GAPh/DoBDwY5iuY3fYzw32NDZYXLrF8O1KKBLE87U85/hf7k0o0ihP36Cwnt t6rEaKSXgv+ucKwOOEKTfy3rsPeEMxIhoArVvT4VKZcmQV6wOoTyU4mxl89w8eH0q2RX DzCzjye6kOI90qfcrfz0MOV83LxEGMpHIFFynbBud/DmdnCHJXOQ5oJyOoRRhswAKM89 kVQpG8FeQY2H92r5xj9O6Sx4nlJvzhtPhBRFLX0v84V7S8mu42m75DaBu/2PRXd3hJ26 c2fYSALbRW/hnfF0/0JBra0v0MXdBZzZ6eniEuRIZ38g5QxR8qWqK22LBYJ6dUKqrEy5 uZyA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:mime-version:user-agent:message-id:date :references:in-reply-to:subject:cc:to:from:x-gm-message-state:from :to:cc:subject:date:message-id:reply-to; bh=ZYyfRQiecWqOKFNJarQeIDnqBscOBoaFPbQymR1/rts=; b=CFe1hoRVpejLlYWay1OMJ9bguMLh75NU4ncR4ROpthIRncH1LzIF5wYJrs+79oPIwz 5nw1I+G4v6Qy1N9vfcmjDbzvqSIs7H6Y5m68glihTwWFM9NkwuUByBzXsqsUro6LCbcI qE48ZhzyqUakvFEhe4+e+/uVe+45yPCx2vQQjyIpKNVQdiUPm0N9eorgNDQErDJxvCaD /SGhS+gm/sMKoCBR4qGItIYuSFrK8Y8PXldKdcBBvLLbt8n4JbBfff6Str7PwAqIiHcX hRvF2sCqnKH6NMflOI4Km7t8C07dYjbbLc0risejqofSfy4DEKLfzVV0zEORYhAj96/j n6Cg== X-Gm-Message-State: AO0yUKWab6wFBr/UnZa3oRlM2iPRb3w4BKH+AGe2+Ekj5mC/pdOskN1n BEfG0Lkzj26Kxt1LubSfkMlrv8dXG5i5bg== X-Google-Smtp-Source: AK7set/DMWQQrueC0ojUsP0qL1LGE30LvKrbrnx6S1GNhlZfEeL1oYBpZcmytNO32kMjGfENIQWIxQ== X-Received: by 2002:aa7:d3c8:0:b0:4af:6e95:72b4 with SMTP id o8-20020aa7d3c8000000b004af6e9572b4mr13047060edr.15.1677491924908; Mon, 27 Feb 2023 01:58:44 -0800 (PST) Original-Received: from ars3 ([2a02:8109:8ac0:56d0::8b3a]) by smtp.gmail.com with ESMTPSA id o23-20020a509b17000000b004acdf09027esm2905936edi.4.2023.02.27.01.58.43 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 27 Feb 2023 01:58:44 -0800 (PST) In-Reply-To: (Yuan Fu's message of "Mon, 27 Feb 2023 00:31:19 -0800") X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list 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-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.bugs:256860 Archived-At: On Mon, 27 Feb 2023 at 00:31, Yuan Fu wrote: > Augusto Stoffel writes: > >> On Sun, 26 Feb 2023 at 17:11, Eli Zaretskii wrote: >> >>>> From: Augusto Stoffel >>>> Date: Sun, 26 Feb 2023 15:56:00 +0100 >>>>=20 >>>> Also, one obvious glitch is that one gets JIT=E2=84=A2 corrections for= the word >>>> being currently typed. Before going on an writing some ugly logic to >>>> avoid that, and since one can influence an overlay appearance when the >>>> mouse pointer hovers it, I was wondering if there's something analogous >>>> for the cursor. > > There is =E2=80=98cursor-sensor-functions=E2=80=99, but it requires > =E2=80=98cursor-sensor-functions=E2=80=99 to be on. Aha, that's the keyword I wanted to hear. I had a vague recollection of something like that. > IIUC you want the squiggly lines remain invisible until point leaves > the overlay, right? You probably have thought of this, but what about > simply checking whether there is any whitespace character between > point and the word being checked, before creating the overlay? Would > that work? Yes. I've actually now implemented a pre-command hook for that and it doesn't look too bad. So maybe requiring cursor-sensor is overkill here.