From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Richard Copley Newsgroups: gmane.emacs.bugs Subject: bug#66552: 30.0.50; Eglot feature request: handle quirky code actions Date: Thu, 26 Oct 2023 15:41:20 +0100 Message-ID: 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="26271"; mail-complaints-to="usenet@ciao.gmane.io" Cc: 66552@debbugs.gnu.org To: =?UTF-8?Q?Jo=C3=A3o_?= =?UTF-8?Q?T=C3=A1vora?= Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Thu Oct 26 16:42:56 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 1qw1ZY-0006fY-Co for geb-bug-gnu-emacs@m.gmane-mx.org; Thu, 26 Oct 2023 16:42:56 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qw1ZG-0002mV-47; Thu, 26 Oct 2023 10:42:40 -0400 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 1qw1Z9-0002jg-L3 for bug-gnu-emacs@gnu.org; Thu, 26 Oct 2023 10:42:32 -0400 Original-Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qw1Z8-0007f1-Ta for bug-gnu-emacs@gnu.org; Thu, 26 Oct 2023 10:42:31 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qw1Zd-0001Zf-Lw for bug-gnu-emacs@gnu.org; Thu, 26 Oct 2023 10:43:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Richard Copley Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 26 Oct 2023 14:43:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 66552 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: notabug Original-Received: via spool by 66552-submit@debbugs.gnu.org id=B66552.16983313476004 (code B ref 66552); Thu, 26 Oct 2023 14:43:01 +0000 Original-Received: (at 66552) by debbugs.gnu.org; 26 Oct 2023 14:42:27 +0000 Original-Received: from localhost ([127.0.0.1]:34315 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qw1Z5-0001Ym-4n for submit@debbugs.gnu.org; Thu, 26 Oct 2023 10:42:27 -0400 Original-Received: from mail-qt1-x82f.google.com ([2607:f8b0:4864:20::82f]:59477) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qw1Z1-0001YX-Cn for 66552@debbugs.gnu.org; Thu, 26 Oct 2023 10:42:25 -0400 Original-Received: by mail-qt1-x82f.google.com with SMTP id d75a77b69052e-41cd444d9d0so7300431cf.2 for <66552@debbugs.gnu.org>; Thu, 26 Oct 2023 07:41:52 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1698331307; x=1698936107; darn=debbugs.gnu.org; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=QaAGdLoqIip89y9gKs+CdriqysASlkoygJMw7ZyJgp8=; b=aQfvPDwabU68nDk0cAjECl4fTWTFGeMRPuCI+DMTdnIXPtRxfX7N0qutKruCAyWALd La5icuks8SB+qzbevo+NYEg3KsSl7I6vM/b/SqWuHCEBvVTv8TPAYE3KOZRGAEAAWnMJ L314HBStno58trruv/7Q2dCckYBSXLCwVhmCpBafltYT71tXJzPMddOm+BfXnu7QPhGA j7OJKWenBfVZXqz0rGqCfda6jh5p7lpK53aXbYkEEC6aUbjYKgc500ELYsggoVuPG699 dr6vA5XYYGw9t5J6yjGqS2z/ZZJQpGxXJkJFXttO9cQY6YFWM3/PdRXachhgeEp5Fj3t Y7lg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1698331307; x=1698936107; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=QaAGdLoqIip89y9gKs+CdriqysASlkoygJMw7ZyJgp8=; b=E8JZe68aKE0rdwpg/H16Bagb+8Vr9yi1SnDJO2nI5/F7Zl/uR8dmBiZYCwWuPiabwW vFCh1s520qXbUbLP4Yqrp8QMBkNXFsIjmisPExJKzbtu6jXQPt7FZ5V8kmG8RPYH6aub hgFMSES252Ym1iG5vknhBPpRrVMstkXapB7kf77EyXG3otGX4Uaur58pCDq890wcNLRN VsJrPxKfaiXwcwH/6+VUVvM9PvBYutY947+E2V+nja/KaHuKzeVZWrDgm8Opejiu8vW4 9F/xtIklDTDSvbBZcH/okDiEv/XR3KTz4EWmCHIBQygj8lHCdiSVNT+DCEMMg9ffbVG7 WafA== X-Gm-Message-State: AOJu0YxiV087kDJBC9NM2BZT+gzQBnjwuqqn5YQJtZQvLORR8IikZiYp 3aUh2thCuX3CCvF0VT3m61O2z+BXn8rWLtRhpwE= X-Google-Smtp-Source: AGHT+IHYJFfBX8ee3xVbTwOxTZ7OQXbbUCvPJ2Hte3mDLECknGDth9HXWzmRah48mOIc6as421j2RRQVgbTOS2CPDcA= X-Received: by 2002:a05:622a:1995:b0:416:5dca:3c9d with SMTP id u21-20020a05622a199500b004165dca3c9dmr19544628qtc.16.1698331306946; Thu, 26 Oct 2023 07:41:46 -0700 (PDT) In-Reply-To: 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:273296 Archived-At: On Tue, 17 Oct 2023 at 04:11, Jo=C3=A3o T=C3=A1vora = wrote: > But I really think you should report these two things to the > language server authors. The issue with the incorrect version number in server edits will be fixed soon. Thanks for the encouragement! Core Lean 4 language: #2721 [1] Standard library: #306 [2] Mathematics library: #7812 [3] [1] https://github.com/leanprover/lean4/pull/2721 [2] https://github.com/leanprover/std4/pull/306 [3] https://github.com/leanprover-community/mathlib4/pull/7812 I will need to rest and recuperate before advocating for the other thing to be fixed.