X-Loop: help-debbugs@HIDDEN Subject: bug#58141: [Eglot] Default eglot-diagnostic-tag-unnecessary-face is problematic Resent-From: Augusto Stoffel <arstoffel@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: joaotavora@HIDDEN, bug-gnu-emacs@HIDDEN Resent-Date: Wed, 28 Sep 2022 11:40:01 +0000 Resent-Message-ID: <handler.58141.B.16643651802997 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: report 58141 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: 58141 <at> debbugs.gnu.org Cc: =?UTF-8?Q?Jo=C3=A3o_?= =?UTF-8?Q?T=C3=A1vora?= <joaotavora@HIDDEN> X-Debbugs-Original-To: bug-gnu-emacs@HIDDEN X-Debbugs-Original-Xcc: =?UTF-8?Q?Jo=C3=A3o_?= =?UTF-8?Q?T=C3=A1vora?= <joaotavora@HIDDEN> Received: via spool by submit <at> debbugs.gnu.org id=B.16643651802997 (code B ref -1); Wed, 28 Sep 2022 11:40:01 +0000 Received: (at submit) by debbugs.gnu.org; 28 Sep 2022 11:39:40 +0000 Received: from localhost ([127.0.0.1]:60397 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1odVPg-0000mF-7a for submit <at> debbugs.gnu.org; Wed, 28 Sep 2022 07:39:40 -0400 Received: from lists.gnu.org ([209.51.188.17]:44676) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <arstoffel@HIDDEN>) id 1odVPe-0000m7-0p for submit <at> debbugs.gnu.org; Wed, 28 Sep 2022 07:39:39 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:51688) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <arstoffel@HIDDEN>) id 1odVPZ-0007Tp-Sn for bug-gnu-emacs@HIDDEN; Wed, 28 Sep 2022 07:39:37 -0400 Received: from mail-ej1-x633.google.com ([2a00:1450:4864:20::633]:35735) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from <arstoffel@HIDDEN>) id 1odVPV-0006ln-Io for bug-gnu-emacs@HIDDEN; Wed, 28 Sep 2022 07:39:33 -0400 Received: by mail-ej1-x633.google.com with SMTP id sd10so26573107ejc.2 for <bug-gnu-emacs@HIDDEN>; Wed, 28 Sep 2022 04:39:29 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:user-agent:message-id:date:subject:to:from:from:to:cc :subject:date; bh=fNa0tsVsy4C5I9/Y9BcsO0IQznFjta0QQeAQfhUikcc=; b=lROPHV7Ce0Ks4Psvs8unBpbHibqIpBJaFRd806qML452bP1wxz4q5r+uaf4QScZWBT Y1mlMUMff202Woe7h9o8yzRO8Y/dw9XeJHtoDtRxZCiGNOuJ0iyWLR3q6fHLaHC8KmnQ D9lDwBW4sJQ57qO3xVdiIi716lmrDOhY/ASrypmdt+R7iTJtuKAn6nqK5z4gK4xIlh/j Fkq7NIWWh2eggtURvX8qImBcGLaCN3y5X5CBRqQPj98X4Nr4LP7AuVrwHbeb9viA0EqX SJ7gvLgwqOVjZPsBmN4LeXGK8Y4u5yV6YOt7NWWZ1K69FH+cb7QRvo9ho75uyJQbJWDP ulZg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=mime-version:user-agent:message-id:date:subject:to:from :x-gm-message-state:from:to:cc:subject:date; bh=fNa0tsVsy4C5I9/Y9BcsO0IQznFjta0QQeAQfhUikcc=; b=sEnre25jSWzecoqiMiZHXqFD7zG93SnoxZXvYl1fF2HbUaXDNJYt+ybYOHEUnU+ii5 kGQcEYaYU0rLBxEudUsCW0xoAZfsydDMCLG6YH7YI44nZ2m8z0YTyH/4/oZZtdd4WA9w ZVFDssYIsh890ilrhCfrMC9zgyR/CCfgqRmeyARpTCKiDXvjJktNsNGhvToGkotuLogV o7NAUO27I7PWZGcW2xcvMyTIB3hj0DXo5IjUvaKj7BkRDxtDLuNPNpiNG9aDPft+DNo0 sKuLPLKpwYMR2v3FJM4mYRyXX4DwE3KTJ0ikFw9X+rBxg9GoJwYlA3YoXz2Sh1HfRU7y nK3Q== X-Gm-Message-State: ACrzQf1CH8uIlgZ486IByUKoJCMYT6E2/bEsnvLsVG/qBoxkFIoefEGQ T2w69qr051QXtOEp6b+Q5u4QuEO/afc= X-Google-Smtp-Source: AMsMyM5zkSofIRIRVrMhYsUVRcn7N4VG7X6QQfC1I9mCOEGZlQKCaiSZI8bFs0Cv0rQEReRMcq4aTA== X-Received: by 2002:a17:907:a079:b0:77b:8d9:9d9 with SMTP id ia25-20020a170907a07900b0077b08d909d9mr25750748ejc.697.1664365167470; Wed, 28 Sep 2022 04:39:27 -0700 (PDT) Received: from ars3 ([2a02:8109:8ac0:56d0::89aa]) by smtp.gmail.com with ESMTPSA id q3-20020a170906144300b0077d37a5d401sm2222285ejc.33.2022.09.28.04.39.26 for <bug-gnu-emacs@HIDDEN> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 28 Sep 2022 04:39:26 -0700 (PDT) From: Augusto Stoffel <arstoffel@HIDDEN> Date: Wed, 28 Sep 2022 13:39:25 +0200 Message-ID: <87pmffd8ya.fsf@HIDDEN> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" Received-SPF: pass client-ip=2a00:1450:4864:20::633; envelope-from=arstoffel@HIDDEN; helo=mail-ej1-x633.google.com 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_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -2.3 (--) --=-=-= Content-Type: text/plain Or at least I really dislike the default value, which looks like this: --=-=-= Content-Type: image/png Content-Disposition: inline; filename="Screenshot from 2022-09-28 13-16-40.png" Content-Transfer-Encoding: base64 iVBORw0KGgoAAAANSUhEUgAAAOgAAABxCAYAAADfwO/zAAAABHNCSVQICAgIfAhkiAAAABl0RVh0 U29mdHdhcmUAZ25vbWUtc2NyZWVuc2hvdO8Dvz4AAAAmdEVYdENyZWF0aW9uIFRpbWUAV2VkIDI4 IFNlcCAyMDIyIDEzOjE2OjQwGIWqJgAAFyxJREFUeJzt3Xtc1HW+x/HXcB10BhC5CCoIooh4TcVM vCtp5WWpzNo0xHbXTrbnbOvJstpF28pa21qOtmfTo5amhq4X0pIGSwglDDEWQUUEAcEAuQwDDDDA nD/AsTEQBhn55XyfjwePB/P7/eb7/cCDN7/f93f5jkyv1+u5hUajuXWREUdHR6qqqtpdr1Qqb/t+ QRA6x6qnCxAEoX0ioIIgYSKggiBhIqCCIGEioIIgYSKggiBhIqCCIGEioIIgYSKggiBhIqCCIGEi oIIgYSKggiBhIqCCIGEioIIgYSKggiBhdz2g7w98nz3z99xRG6WZpfzvmP9lvfV61snWsU62jtzj uV1uLzMTxowBa2uQyVq+jh9ve1u9Xs/vfvc7AgMDyc/PNyyvrq5mzpw5zJkzh9ra2i7XIgg/ZdPT BXRFwhsJ1FXU8cSBJwzLPEZ5dLm9N96Aigo4cODmslGj2t52zZo1qFQqvv/+e/r27WtYrlAoOHr0 KA8++CCPP/44R48e7XI9gnDDLzKgVVersHe0J2BhQLe0d/UqODrCwoW33y4lJYWoqCji4+ONwnmD nZ0dn376KaNHj2bXrl08/fTT3VKfYLnEGNQEr7/+Oo899hgTJ05sdxsvLy9efPFF1q5dSxuzyQiC Scy6B82IzuDbt76lqqAKn6k+zP373Da305ZrUb2kIvfrXOqr6uk/oT+zN8zGY/TNw9YtE7ZQlFJk 9L51snWG75fFLcN3lm+na5swAVJSjJfJZDe/j4uDWbNuvi4pKUGlUvHtt9922PZvfvMbIiMjiY+P Z/r06W1uU1lZyfTp01Gr1Rw4cICxY8d2unbBcpgtoJe/usz+JftxH+HOtD9Po66yjq9Wf4WuVme0 na5Wx5YJWwAIeTkEubOc1K2pbJm4hRUnV+A5zhOA0I2h1FXWARD3Shy6Gh3zouYZ2jF1DLpxI1RW tnz/yitQUwNRUTfX3zoGjY2NxcrKiuDg4A7bdnV1JSAggCNHjrQb0OzsbNLS0gA4c+aMCKjQJrMF 9OS7J+nt1puIxAjsHe0BqKuo468efzXaLulvSWiuaVh1YRVO3k4ABIYF8mHQh6jWqFgWtwwAn2k+ hvec2niKOuu6OxqDTpt28/uNG1vO4N5uDHrlyhV8fX2xtrbuVPtDhgzhypUr7a4fP34827dvR61W s2TJkk5WLVgaswX0Wuo1fGf6GsIJIO8jp7d7b6Ptco/n4h7kjl1vO7RlWsPyAZMGkBGdgb5Zj8xK Rk8rLCzE0dGx09s7Ojpy4cKF224THh5+h1UJ9zqzBLSxrpG6ijrslfY/WyeTGYetIqcCdb6ad13f bbOtmuIaFJ4Kc5RpEhcXF+rr6zu9fX19PS4uLmasSLAEZgmojdwGO6Ud9ZqO/6AV/RQ4+TixPGG5 OUrpNt7e3uTmdv5miJycHO677z4zViRYArNdZvEY5UF+Yj4NmgbDsnp1PTUlNUbbeYd4cy31GppC 49ns03enc/38dXOVZ7LJkydTXV3dqZDqdDouXLjA5MmTb7vdrl272Lx5MzU1NbfdTrBcZhuDhqwJ Yc+CPWyfup1xvx1HXWUdP6b9iJ3Czmi7Ka9OIX13OttCthH8QjAOfRy4En+FtE/SmPvBXFwDXQEo Tium6mrLx01oy7U0VDdw6eillh/CwQbfmZ2/xAKQltZygwJAeTlUV8ONm38cHGDmTOPtR44cyciR I9m6dStvvvnmbdvet28fjY2NLFq0qN1tUlJSWLp0KQByuZwVK1aYVL9gGWTm/GyW9N3pJG5IpOpq FT5TfJgXNY9tIdvoN6YfT37+pGH7mpIa4tbEkZeQh+aaBhd/Fyb9YRJjlo8xbHN4+WF+2PFDm/05 D3LmP3P/8/Y/6S2WL4cdO9peN2gQtLWj3LlzJ3/4wx/IzMzE3d29zffqdDomTJhAaGgo777b9rga oKKigunTp1NVVSWugwrtMmtA70Vz5szB2tqaL7/88mcnvABWr17NgQMHOHfuHL169eqBCoV7ibjV z0R79+6lpKSEZ555Bp3O+KaLt99+m7179/LFF1+IcArdQuxBu0CtVpOSkkJQUBD9+vUDWh43S05O ZtiwYfTv37+HKxTuFSKggiBh4hBXECRMBFQQJEwEVBAkTARUECRMBFQQJEwEVBAkTARUECRMBFTi vvzySyIjI4mMjCQxMfGu9VtYWEhkZCTXr1+nrq6OyMhIzp8/3+X2vvvuOyIjI6mrq+vGKqXbb3fp ckAdHR2NZhi49bVw52JjY0lOTu6RG+lLSkqwsbHBxcWFkpISANzc3O56HZZO7EElSqVSkZSUxLx5 8247zae5lJSU4OrqipWVFSUlJVhbW3d5hgi9Xk95eXk3VyjdfrvTL3Li6u5w8OBB0tPTCQ8Px9vb G2iZpuQf//gHDg4OPPvss52eIKy7NTU1UVRUxNy5c5k4cSI//vjjXem3sbGRq60PyV69ehUPj5aZ EktKSlAoFOTn52NlZWX4fXUkMzOT6Ohoo2UbNmwwfG9nZ8fatWsNr7VaLSqVitzcXOrr6/Hy8mL2 7NmG+51vKCgoID4+nmvXrtHU1ISHhwcBAQHcf//9WFlZmdyvlFlsQB966CHy8/M5ePAgzz33HHZ2 dsTGxlJbW8vSpUtNDmdWVhbNzc3trvfz88POzq7d9T9lbW3N0qVLsbK6uwc4VVVV7PjJQ7LDhg0D oLi4GLVazY4dO5DL5bz88sudam/gwIGGGQvT09PJyMjg0UcfxdbWFsDo59PpdHz00UcAhISEIJfL SU1NZevWrURERODl5QW0PEe7c+dOPD09mTFjBnK5nKKiIuLj42lqamLKlCkm9St1FhtQe3t7wsLC 2L59O7GxsQwbNozU1FQWLVrU5sc6dGT//v00NDS0u/73v/+9SYeIPfFH5OLiQmRkJNXV1WzcuNHw UHpJSQmhoaE88MADJrWnVCoNIS8qapl0fMiQIcjl8p9tm5SURHV1NatWrcLJqXX61cBANm/eTFxc HMuWtUy/mpeXR0NDA3PmzGHAgAEAjBgxgokTJxrOgZjSr9RZbECh5T/8tGnT+Oabb8jIyGDEiBGM GTOm4ze24ZdyyNQZxcXFAHh4eKDRaNBqtYbDXXPJycnBzc0NW1tbo0+HGzhwIBkZGej1emQymeFE VWxsLMHBwbi5ueHm5mYI9b3GogMKcP/995OYmEhdXR0hISE9XU6P2rFjh2GybblcjqOjI9nZ2UDL dC8AixcvZvjw4d3ed0VFBWq1ut1pYqqrq1EqlfTv35/HH3+cM2fOcOjQIZqamrC3t8ff35/Q0NB7 LqgWH1CVSoWNjQ22trYcPXqU5cuXd+nw8q233urWQ9ye8OCDD6LVaklISDCMp2+cIAoLCwMw255U oVDg7OzM8uUdT78aFBREUFAQjY2NlJeXk5eXR2xsLFqt1nAofK/ockBvfWD7dg9wS9XFixdJSUlh 0aJF2Nvb89lnn5GQkNDu56ncTlhY2G1PEikUPT/5dkc8PVs+B0elUhnGdyUlJXh4eODn52fWvr29 vTlz5gxVVVVG19PT09Pp16+f4dC2vLwctVqNr68vNjY2uLu74+7uTlZWFtevS2ea1u7S5YDe+CXe COatr6VOo9Fw+PBhhg4dahh3jhkzhoSEBPz8/Dp9KeGGGyclukthYaFhLKhWqw3LUlNTgZaPObz1 8kN30Ov1XL9+3TDpdnFxMT4+Ph28q2M3ZtnIzs42nM22srLC398fgKlTp5Kens62bduYOHEicrmc vLw80tLSmDt3riGgKSkpJCUlMXr0aHx8fJDL5RQUFHD58mUmTZpkcr9SZ5F7UL1ez6FDhwBYsGCB Yfm8efO4cuUKBw4cYOXKlT161i8jI4NTp04ZLTt//rzhdruZM2eaJaCVlZXodDrc3d0NYZ0wYcId tztq1CguXLjAwYMHaWpqAoyvRzo4OPDcc8+hUqk4ffo01dXVuLi4sGDBAqM7qUJDQ/Hy8uLcuXPE x8dTW1uLs7Mzs2bNajOgHfUrdWJOIkGQsF/OFVtBsEAioIIgYSKggiBhIqCCIGEioIIgYSKggiBh IqCCIGEioIIgYSKggiBhIqCCIGEioBKWmJjInDlz6Nu3Lx4eHjz00EOcPXv2rvRdmZbG54MHU335 MjqNhs8HD+bHr77qcns5O3bw+eDB6Dq4jbS79VS/3UUEVKKOHz/OjBkzKCws5IUXXiA8PJzTp08z efJksrKyzN6/5tIlrOzs6D1oEJrW/hS/kCdA7iUW/8C2VK1du5Y+ffpw6tQpnJ2dAXjkkUeYOnUq mzZtIioqyqz9V2VlofD3R2ZtjebiRaxsbendxcfO9M3N1LTO1HA39VS/3ckiA9pQoyF6xUwGT3+E SSv/bLTu8okYEv/nNR7esBvXISN6qEKIi4sjLy/PEE6ASZMmIZPJyMnJMUufzfX1VPzwAwAVqak4 BgQALWG1d3OjPCUFmY0NLuPGdaq9a8eOkfL880bLjv1kziebXr2Yl55ueK2rrCTznXe4npREo0aD 86hRBL70Eo6BgUZtVJw9S1ZUFJXnzqFvbEQZEEC/WbPwi4hAZm1tcr9SZpEBteutxHviTK6cjCV4 xctY29ob1l0+EYPTAD+Tw3nkyBHD84ZtmT17Nr179+50e0qlkhEjjGvIzc1Fr9czePBgk2rrLG1x Maeeesrwul9oKACaixfRFhVx6qmnsHV0ZG4nx8F9xo5lwj//CUDh4cMUffEF973/Pta9egEg+8nU Mk1aLQmLFgHgv3Iltkol+dHRfBsWRsi+fTi1/i5qCwpIWrYM5xEjGPbii9golajPnSNr0yaaGxsZ 8txzJvUrefo2VFVV3fYLuO36X4KitCT9jrCR+tyTxwzLqkuv6T9+dLQ+/dB2k9tTKBR6oN2v7Ozs O6q3ublZv3jxYr2VlZU+IyPjjtrqSF1pqT7Gz09ffOKEXq/X67+87z599pYtd9Tm+ffe08f4+ekb 2vn7yNq0SX90+HB9bWGhYVlzY6P++KxZ+lNPP21Ylv+vf+lj/Pz05WfPGr2/tqhI39zUZHK/UvcL +lfSvfqNDKa3qyeXv4kxLMtJOAIyGDztEZPb02g06PX6dr/udK+3evVqoqOjeeedd8wyq95PVV24 AIBjQAB1xcXoKisNh7vmUnryJMohQ7Du1YuGykoaKivRaTS4jB1LRWoq+tb5npStJ6oy/vIXCmNi qDp/nubGRhw8PX9Ze8ZOsshDXACZzAr/GQv594Et1FVVIHfsQ078UfrfNwUHZ9eeLs+gubmZF154 gQ8//JD169ezevVqs/V16qmnKEtOBsBWqUTerx+lCQkAfBceDsD4zZvxnDu32/uuLShAW1REbDvj 2/rr15G7u+M8ahTjoqLI/+wzfnjpJZp1OmwUCtynTmX4K6/g0DoD/b3CYgMK4D9zIWn7/0neqa9w GzaGyquXGfPk8x2/sQ1KpZLq6up212dnZ5u8F62treXJJ5/k2LFjbN++nfDWkJhL0KuvolOrydq0 CX3reLrq4kXsXV257/33AVCaaU9q7+aGQ//+TN67t8NtvR5+GK+HH6a5vp6avDzKTp8m48030anV 3P/JJ2apr6dYdEAV7v3pN3w8Od9+QXVpEfZKZwaOn9altnbu3Hnbk0SmTvBVWlrK/Pnzyc7ORqVS MXXq1C7VZQqnoCAAMjdsoE/rWU9NVhaOw4bhauLHPpjKZfx48vbsoa64GPlP5t4tjInBafhwwzXY mvx8tIWFuE6ahJW9PcqhQ1EOHUrx119Tbaaz2z3JogMK4D9rEYn/8xrqwlz8pj6MlY1tl9pZ1HoG srssWLCA06dP88c//tFoNr8bFi9eTJ8+fbq1T2i5dlidk4P34sVAyx60b3DwHbcrb/2cl9KEhJtn U62tcW/9xzP0P/6DwpgYTi5ejO+yZdg6OVGWnEzBwYOMeP11Q0Dzdu/m8tatDAwLo29wMDZKJRWp qZQmJuIXEWFyv1Jn8bP6NdbXEb1iJjptNfM3RuPi273z23bVkCFDDB+70JZz584R1LrH6061BQUc nz6dyXv30mfcOL4cOZIRf/oT3k88cUftNtbUkPL885R99x3NOh3w8+uR9WVlnH/nHcpOn6a+tJTe Pj74RUQw8LHHjNoqOnqUws8/R52ZSUNFBb0GDGBgWJjhOqip/UqZxQcU4MhLS9A3NTH/vX09XYog GLn3zkubqOpaPmWXM/Gf2b2HqILQHSx2DFp+5SK1ZcXkJamwVzjhN/Xhni5JEH7GYgN6/sgusr85 TC8XNyY/vx57pXPHbxKEu0yMQQVBwix+DCoIUiYCKggSJgIqCBImAioIEiYCKggSJgIqCBImAtrN kv+ezDrZOurV9T1dinAPEAEVBAkTAe1G+mY9ZZfKeroM4R5isXcSfTrvU7KP3Xyca/H+xei0OuLX x1NxuYIpa6cw440ZAGjLtaheUpH7dS71VfX0n9Cf2Rtm4zG65cHi8/86T/Rj0e32Zaew4xXNKwCo /lvFqY2neK3uNaztbz4a9bbybYY/NpyF2xeaVF/y35M59l/H+G3Kb/nmT9+Ql5CHwlNByJoQxq4Y a9LvpLKyEk9PT5YuXcpHH31ktO7jjz8mPDyc5ORkgrvh+VChcyz2Xtxpf5rG+JXjKTlXwtevfU3Z pTLObjvLoGmDGLZwGAMnDwRAV6tjy4QtAIS8HILcWU7q1lS2TNzCipMr8BznyYBJA1hyaAkA//70 32TuyyTs0zDsetsBILOWma2+G06sO4H7CHcCFgSQujWVmGdjcB7kjO8s30736ezszK9+9Suio6OJ iopCLpcb1n3yyScEBgaKcN5lFhvQAZMGACB3bvkjvBx7mZU/rMS2l/GMCkl/S0JzTcOqC6tw8nYC IDAskA+DPkS1RsWyuGUovZQELGyZq6copQiAoQ8Pxd7Jnq7qbH03BK8KZnDoYEN97/V/j4zoDJMC ChAREcGePXuIiYlhceusCgUFBZw4cYINGzZ09ccRukiMQVsFPRHU5h9/7vFc3IPcsetth7ZMi7ZM S726ngGTBlBwqgB9889GCHe1vhtcBrsYvu/l1gvHAY5UXqk0uZ+ZM2fi7e3Nxx9/bFi2a9cuZDIZ S5cuNbk94c5Y7B70Vr3d2p71vSKnAnW+mndd321zfU1xDQpPhTlLA9qvrz029jZd+udhZWVFeHg4 b731FqWlpbi5ubFr1y7mzZtn8sRnwp0TAe2Aop8CJx8nlics754GW4ejTQ1NRieJpCQ8PJw33niD ffv2MXnyZDIzM1m/fn1Pl2WRxCFuB7xDvLmWeg1NofGZ7fTd6Vw/f93k9m6MY3/84UfDsrqKOnRa 3Z0V2o18fX2ZNm0au3fvZvfu3fTt25f58+f3dFkWyWL3oIWnC6ktraU4vRhoObljI7dBZiXDf97N z8Gc8uoU0nensy1kG8EvBOPQx4Er8VdI+ySNuR/MxTXQeBb6G4e72ceysVPcPIvrP7elzYD5Aaj+ W8XBZw7ywOoHaKhuoDitGCsb4/+Vna3PXCIiInjmmWe4cOECv/71r7GzszN7n8LPWWxAT/z5hNF1 xsQNiQDYyG14VfuqYbmDiwMr01YStyaO7zd/j+aaBhd/Fxb+30LGLB/zs3ZHLx3NxcMXObjsIE0N LRNZ//Q6qJOPE0sOLUG1RsXxtccZNH0QszfM5mLMxS7VZy6PPvooq1atoqysjOXLu+nwXjCZxd6o IHRs/PjxNDY28kPrZ4YKd58YgwptunTpEmfOnBF7zx5msYe4QtvS0tK4evUq+/fvx8XFhaeffrqn S7JoIqCCkQ8++IAdO3bg5eXFtm3b6Nu3b0+XZNHEGFQQJEyMQQVBwkRABUHCREAFQcJEQAVBwkRA BUHCREAFQcJEQAVBwkRABUHCREAFQcJEQAVBwv4fplcC0bsKO1kAAAAASUVORK5CYII= --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable When I first saw this face appearing, I had no idea what was going on. That this is a Flymake warning is unexpected, since there's nothing squiggly about it. Moreover, it overrides all other font-locking, which presumably still has meaningful information. Finally, I think it's hard to be sure the result is readable in all custom themes, even all reasonable ones. In general, I would argue that =E2=80=9Ccreative=E2=80=9D decorations shoul= d be left off by default. So concretely in this case my suggestion would be to let eglot-diagnostic-*-face inherit from one of the good old Flymake faces. --=-=-=--
Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) Content-Type: text/plain; charset=utf-8 X-Loop: help-debbugs@HIDDEN From: help-debbugs@HIDDEN (GNU bug Tracking System) To: Augusto Stoffel <arstoffel@HIDDEN> Subject: bug#58141: Acknowledgement ([Eglot] Default eglot-diagnostic-tag-unnecessary-face is problematic) Message-ID: <handler.58141.B.16643651802997.ack <at> debbugs.gnu.org> References: <87pmffd8ya.fsf@HIDDEN> X-Gnu-PR-Message: ack 58141 X-Gnu-PR-Package: emacs Reply-To: 58141 <at> debbugs.gnu.org Date: Wed, 28 Sep 2022 11:40:02 +0000 Thank you for filing a new bug report with debbugs.gnu.org. This is an automatically generated reply to let you know your message has been received. Your message is being forwarded to the package maintainers and other interested parties for their attention; they will reply in due course. As you requested using X-Debbugs-CC, your message was also forwarded to Jo=C3=A3o T=C3=A1vora <joaotavora@HIDDEN> (after having been given a bug report number, if it did not have one). Your message has been sent to the package maintainer(s): bug-gnu-emacs@HIDDEN If you wish to submit further information on this problem, please send it to 58141 <at> debbugs.gnu.org. Please do not send mail to help-debbugs@HIDDEN unless you wish to report a problem with the Bug-tracking system. --=20 58141: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D58141 GNU Bug Tracking System Contact help-debbugs@HIDDEN with problems
X-Loop: help-debbugs@HIDDEN Subject: bug#58141: [Eglot] Default eglot-diagnostic-tag-unnecessary-face is problematic Resent-From: Augusto Stoffel <arstoffel@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: bug-gnu-emacs@HIDDEN Resent-Date: Sat, 08 Oct 2022 11:16:02 +0000 Resent-Message-ID: <handler.58141.B58141.166522771320667 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 58141 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: 58141 <at> debbugs.gnu.org Cc: =?UTF-8?Q?Jo=C3=A3o_?= =?UTF-8?Q?T=C3=A1vora?= <joaotavora@HIDDEN> Received: via spool by 58141-submit <at> debbugs.gnu.org id=B58141.166522771320667 (code B ref 58141); Sat, 08 Oct 2022 11:16:02 +0000 Received: (at 58141) by debbugs.gnu.org; 8 Oct 2022 11:15:13 +0000 Received: from localhost ([127.0.0.1]:38423 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1oh7nV-0005NH-HP for submit <at> debbugs.gnu.org; Sat, 08 Oct 2022 07:15:13 -0400 Received: from mail-ej1-f51.google.com ([209.85.218.51]:34334) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <arstoffel@HIDDEN>) id 1oh7nT-0005Mb-HA for 58141 <at> debbugs.gnu.org; Sat, 08 Oct 2022 07:15:11 -0400 Received: by mail-ej1-f51.google.com with SMTP id ot12so16168547ejb.1 for <58141 <at> debbugs.gnu.org>; Sat, 08 Oct 2022 04:15:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=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=SU0LaqCn0WxnAa8q43Vsv+/L92fsTC1mBg+j5engugQ=; b=M6uNTvpyqfzLNHTH0aoFruNeAaxEhK8lqCGferadgeO6O4k5bwTEk3HztVcqhd3UX6 1map9jINo8knk4rvY9sHj0FAyG3pL1QPeOc4dx0MalCoA/26WIjmoaOMHQdO6hFfzaBl tOfKd0/NsbPXLMP4fnRCDtTs4p7COfH1NVc9l06coS6Cjec4q1M4Skh29M0o08NoeA1N JNXbPCsudEtN4eadmZuU7ZKleR9EvspNMKzuMDVncncfomxvupKTPuLS++tA811/xl6s ziJcNKABckgD1ohs0W4llY/pmHQJ9h787dGulwcvBLnADG7+kJ7CPlcl1KJITHtNd8// ve8w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=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=SU0LaqCn0WxnAa8q43Vsv+/L92fsTC1mBg+j5engugQ=; b=amdiq5usQSTqjZG+pF6J9/uiDbL7z99ApOct2/msnhzM3XZ4PcxCKcqqmL/TmcRybT crZDwp0oCWMOWMBUOKWF6ux4klC8Rbb7BIEJKY3NqH8ACvXhYgWURqm8w4mCPiEe16tP U9hr3W4+3vMupB+immRjLDDFrbYgwxlRXryEfkDZvwYI3+zF1XOdr+fMRdzjEY3huEGt DFPTB+fNJJU0U6iLSa+NOvNn3xJPpKcWcZ20SqI0B6FS/YpnVDpRIWfQ5MN0ZMoeyAl/ 2Bx4Qx6UF2gOctliq4Kuy3HJoIC7AHqe+vkASOd2Dk5EfG86p27IaPmpbUhmz76jYwC+ 01KQ== X-Gm-Message-State: ACrzQf1EPXqyqMfycx8flOA/TX1gazHCbFgPxmiPfVRn1JdyoWKx0a8H m80W7Z88vUKJ7b9YRCrkKHU= X-Google-Smtp-Source: AMsMyM61a9O/dWwPQ6uFyowsClMlAQ+B2sGF9eV5IBRssVXKXkPAsem+VKLbuTvCUTPQ2vsLyW71QQ== X-Received: by 2002:a17:906:fe46:b0:730:ca2b:cb7b with SMTP id wz6-20020a170906fe4600b00730ca2bcb7bmr7704866ejb.703.1665227705455; Sat, 08 Oct 2022 04:15:05 -0700 (PDT) Received: from ars3 ([2a02:8109:8ac0:56d0::89aa]) by smtp.gmail.com with ESMTPSA id bo1-20020a170906d04100b0073d753759fasm2623496ejb.172.2022.10.08.04.15.04 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 08 Oct 2022 04:15:04 -0700 (PDT) From: Augusto Stoffel <arstoffel@HIDDEN> In-Reply-To: <87pmffd8ya.fsf@HIDDEN> (Augusto Stoffel's message of "Wed, 28 Sep 2022 13:39:25 +0200") References: <87pmffd8ya.fsf@HIDDEN> Date: Sat, 08 Oct 2022 13:15:03 +0200 Message-ID: <87zge67eiw.fsf@HIDDEN> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) On Wed, 28 Sep 2022 at 13:39, Augusto Stoffel wrote: > Finally, I think it's hard to be sure the result is readable in all > custom themes, even all reasonable ones. I initially wrote this as an abstract argument, but let me point out that in the Modus Operandi theme (which is eminently reasonable), the shadow face and font-lock-comment-face are equal. So it's hard to distinguish commented-out code from (presumably) unnecessary code. Here's a concrete suggestion: when a language server diagnostic says some code is "unnecessary", then apply _both_ eglot-diagnostic-tag-unnecessary-face and the usual Flymake face, with that order of priority. If the user so wishes, they can use eglot-diagnostic-tag-unnecessary-face to override any attribute of the flymake-* faces. But, by default, the eglot-diagnostic-tag-* faces are best kept empty.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.