From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: =?UTF-8?Q?Jo=C3=A3o_?= =?UTF-8?Q?T=C3=A1vora?= Newsgroups: gmane.emacs.bugs Subject: bug#34022: 26.1; Region highlight has lower priority than flymake overlays Date: Fri, 11 Jan 2019 20:04:05 +0000 Message-ID: <871s5jm05m.fsf@gmail.com> References: <1547066017.2291240.1630221536.19E9AC39@webmail.messagingengine.com> <87ftu1lfka.fsf@gmail.com> <1547153959.1638293.1631244736.794AFB75@webmail.messagingengine.com> <83o98nhcst.fsf@gnu.org> <877efbmtci.fsf@gmail.com> <831s5jgg5v.fsf@gnu.org> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1547236989 25341 195.159.176.226 (11 Jan 2019 20:03:09 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Fri, 11 Jan 2019 20:03:09 +0000 (UTC) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) Cc: 34022@debbugs.gnu.org, johann@jklaehn.de To: Eli Zaretskii Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Fri Jan 11 21:03:04 2019 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([209.51.188.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gi31E-0006Sv-0U for geb-bug-gnu-emacs@m.gmane.org; Fri, 11 Jan 2019 21:03:04 +0100 Original-Received: from localhost ([127.0.0.1]:40814 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gi33K-0006Lq-J1 for geb-bug-gnu-emacs@m.gmane.org; Fri, 11 Jan 2019 15:05:14 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:44546) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gi33A-0006La-Sp for bug-gnu-emacs@gnu.org; Fri, 11 Jan 2019 15:05:05 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gi339-0004VB-1u for bug-gnu-emacs@gnu.org; Fri, 11 Jan 2019 15:05:04 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:57075) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gi338-0004Ut-Uc for bug-gnu-emacs@gnu.org; Fri, 11 Jan 2019 15:05:03 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gi338-0000OI-FB for bug-gnu-emacs@gnu.org; Fri, 11 Jan 2019 15:05:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: =?UTF-8?Q?Jo=C3=A3o_?= =?UTF-8?Q?T=C3=A1vora?= Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Fri, 11 Jan 2019 20:05:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 34022 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 34022-submit@debbugs.gnu.org id=B34022.15472370581414 (code B ref 34022); Fri, 11 Jan 2019 20:05:02 +0000 Original-Received: (at 34022) by debbugs.gnu.org; 11 Jan 2019 20:04:18 +0000 Original-Received: from localhost ([127.0.0.1]:56356 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gi32P-0000Mk-K4 for submit@debbugs.gnu.org; Fri, 11 Jan 2019 15:04:17 -0500 Original-Received: from mail-wm1-f51.google.com ([209.85.128.51]:33335) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gi32N-0000MQ-VY for 34022@debbugs.gnu.org; Fri, 11 Jan 2019 15:04:16 -0500 Original-Received: by mail-wm1-f51.google.com with SMTP id r24so2769405wmh.0 for <34022@debbugs.gnu.org>; Fri, 11 Jan 2019 12:04:15 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-transfer-encoding; bh=AE4bWV0ceBFKufEkufRufqiqpMPLRFgvqZDu/X7UlIE=; b=kZQy3gFw7DOMfva5IDcUJAtAipGmXD4SanPhtIB4YcKuqgrfC6uBTPDjk/qNQcf5iE FKqoRjsKVF4kYi5j4xA/RBFDgPdQigv3j9q3qvidPtlr6XUD4uuL0w202Ulgiy7SJ5kJ d3NIWXXSLPP4JQGUlRchtG0VKD/tkSJ89ll3u+SoCR/b02e4Os+txpNj+7dmZCr4vlMH 2BgGWHEMha9dnDa+pVkzHbwEIVOZQ+g4dsI9DFKm71kbCW+ReMYkAVcOAqJO15pf/CD+ XdR3OOSLNfCYH9vmT0wV6IYlPIaWYjiIpKh1C58JT/sMWPei1h1mN4j45EFkHcZ4835N eVag== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version:content-transfer-encoding; bh=AE4bWV0ceBFKufEkufRufqiqpMPLRFgvqZDu/X7UlIE=; b=bAw0j2vnn8RKn+UC45aQdQEdZl1AykFrc+i/KoeR8RMCM7davpQ1H+2SyhvtVMD5Le 7ZmUbOZ1AO4w6E4+YgWwDZqlvBYi/a3CDLzU45+EUj72SCx+V9VGDr4PjhOnYwoMOQah 1QTI3FKru6z8kyX4CDLH9r7LQ6B4sYYPMp6YZksFOUOc4SWZkwQfX3h7DkFbjWox6nA2 zlnvC3OK16yfAmmoWYyOVD2/5AaZViKqRR3XQZHvIz0VI4TjRhkl2pokc0lqgky0poTK GjbkFuYIe4FK27HSjmjSAJump3zfg59XlD1yyCoMF9MNWaorf5IvHewg9MUSBC387g/X zSjg== X-Gm-Message-State: AJcUukfxg0M77NbIqx9d8MZlOjRVM7jpniF7sF9Rhz5qmgObxbeOxp5n 0KAfGhV3uU0GNAuOZVAATRHiXLnr X-Google-Smtp-Source: ALg8bN7lXvsPD0vlrSG9kRMyehMqBRfIV7Te1HAlo/U/kdQ87nP3UKGodbXNRq9nzwKE1VuGLPHW+g== X-Received: by 2002:a1c:38c4:: with SMTP id f187mr3407033wma.90.1547237049515; Fri, 11 Jan 2019 12:04:09 -0800 (PST) Original-Received: from lolita.yourcompany.com (188.139.62.94.rev.vodafone.pt. [94.62.139.188]) by smtp.gmail.com with ESMTPSA id a62sm17444029wmf.47.2019.01.11.12.04.08 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Fri, 11 Jan 2019 12:04:08 -0800 (PST) In-Reply-To: <831s5jgg5v.fsf@gnu.org> (Eli Zaretskii's message of "Fri, 11 Jan 2019 21:14:52 +0200") 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.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.org gmane.emacs.bugs:154358 Archived-At: Eli Zaretskii writes: >> From: Jo=C3=A3o T=C3=A1vora >> Cc: Johann Kl=C3=A4hn , 34022@debbugs.gnu.org >> Date: Fri, 11 Jan 2019 09:33:33 +0000 >>=20 >> In Flymake multiple overlays (error, warning, note) can overlap and >> priorities are used so that an error is never hidden by a note. I based >> thosed priorities in the 100's range (so note =3D 101, warning=3D102, >> error=3D103, sth like that). 100 was a number chosen quite arbitrarily >> which worked fine until Johann noticed the bug (I do think it's a bug). > > Would it still DTRT if you use priorities around 50? No. You can see the problem for yourself (Johann had already pasted a slightly harder to follow recipe): Emacs -Q M-x flymake-mode RET M-: (set-face-background 'flymake-note "yellow green") RET C-x C-f lisp/progmodes/flymake.el RET M-g M-g 1057 RET Case A: Start marking a region from the beginning of the line. Case B: Start marking a region from the middle of the line With stock flymake.el, in both cases the region is invisible in the parts where it overlaps the green diagnostic. Actually you could sort of say that in case A it's doing the right thing. But in case B it clearly isn't. Also if I make Flymake use priorities around 50 as you suggest (actually 41 in this case). But if I make Flymake use priorities of the form (nil . 41), it is possible to see both the region and the diagnostic in both A and B. I think it's the way this should behave. >> Perhaps it isn't. Can you point me to other packages that leave >> persistent region-resisting overlays in the buffer? > Wht do you mean by "region-resisting"? > What is the meaning of "playing nice" in this context? I hope I've clarified above! Jo=C3=A3o