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: Wed, 09 Jan 2019 20:52:05 +0000 Message-ID: <87ftu1lfka.fsf@gmail.com> References: <1547066017.2291240.1630221536.19E9AC39@webmail.messagingengine.com> 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 1547067064 17444 195.159.176.226 (9 Jan 2019 20:51:04 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Wed, 9 Jan 2019 20:51:04 +0000 (UTC) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) Cc: 34022@debbugs.gnu.org To: Johann =?UTF-8?Q?Kl=C3=A4hn?= Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Wed Jan 09 21:51:00 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 1ghKoU-0004OQ-GC for geb-bug-gnu-emacs@m.gmane.org; Wed, 09 Jan 2019 21:50:58 +0100 Original-Received: from localhost ([127.0.0.1]:46316 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ghKqb-0001A3-EZ for geb-bug-gnu-emacs@m.gmane.org; Wed, 09 Jan 2019 15:53:09 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:60276) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ghKqV-00019l-8T for bug-gnu-emacs@gnu.org; Wed, 09 Jan 2019 15:53:03 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ghKqU-0006rW-Ax for bug-gnu-emacs@gnu.org; Wed, 09 Jan 2019 15:53:03 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:53331) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1ghKqU-0006rR-7N for bug-gnu-emacs@gnu.org; Wed, 09 Jan 2019 15:53:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ghKqU-0001C2-45 for bug-gnu-emacs@gnu.org; Wed, 09 Jan 2019 15:53: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: Wed, 09 Jan 2019 20:53: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: X-Debbugs-Original-Cc: bug-gnu-emacs@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.15470671444540 (code B ref -1); Wed, 09 Jan 2019 20:53:02 +0000 Original-Received: (at submit) by debbugs.gnu.org; 9 Jan 2019 20:52:24 +0000 Original-Received: from localhost ([127.0.0.1]:52612 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ghKps-0001B9-6F for submit@debbugs.gnu.org; Wed, 09 Jan 2019 15:52:24 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:49911) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ghKpq-0001Aw-FZ for submit@debbugs.gnu.org; Wed, 09 Jan 2019 15:52:22 -0500 Original-Received: from lists.gnu.org ([209.51.188.17]:47137) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1ghKpl-0006fl-9n for submit@debbugs.gnu.org; Wed, 09 Jan 2019 15:52:17 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:60112) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ghKpk-0000lI-Ex for bug-gnu-emacs@gnu.org; Wed, 09 Jan 2019 15:52:17 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ghKpj-0006f0-GE for bug-gnu-emacs@gnu.org; Wed, 09 Jan 2019 15:52:16 -0500 Original-Received: from mail-wm1-x32e.google.com ([2a00:1450:4864:20::32e]:36515) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1ghKpj-0006ea-AY for bug-gnu-emacs@gnu.org; Wed, 09 Jan 2019 15:52:15 -0500 Original-Received: by mail-wm1-x32e.google.com with SMTP id p6so9777754wmc.1 for ; Wed, 09 Jan 2019 12:52: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=JUNu3WagvM4C1c2M/nLXay5jfNximI0r3IinhSNv7Hg=; b=Yo8rkAz9YOFW8LowQK/RRb8V0YM5IK2EBDgs9ykBJzzxqYftcPzDZSUM9SMZ6KbMou 3Eq9egcDHm6dbD2/zEwz6ssiLTkP6r45cCaPU1UguC8ZRnxLrzESb69PTIAWXx15b5FI SEzsiGpEeaSd/fXdjkHzLSxwSjR5fv9DOn3QmiWOTmZpeaaqxAyGmvm/pjalKijat9X/ WD4M4DBQb/xUmp3NyaT+ZgM0aQtx/ScUC3jSOKWOxGx83NpFUF5OKbeFW1XScf8Bm12G bJU5POW48gsaVQQLyxJn4wJGLUTG8uPvewqs5toZe1Pg2K2f8/Vm0ES58UuihMKwG6d6 iBuA== 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=JUNu3WagvM4C1c2M/nLXay5jfNximI0r3IinhSNv7Hg=; b=THuxiBWWmm0EYUghLGS44VtaQ9DsdiUseYepBU6rHtdteWXDSxY1fj24zQR/mFxLeA ph9p5tDx+OvbR3xnyzhfAAwQvndQkxsRngGTG+t8WcjP7j0FFqcawyOn/1BYfCQAA80h kmZP6A95Fp1huJNy5g1OCzsuOxU1Wypd+/T3ZpEWRWIfz4E7WLc+dRi3NLkhahncXSy6 GJR2/N6g4BfjTMR7rA0vYHwWnltfq4WELwHJej98on1Qa1XftJ1AZsG1EaA7dW7fRlgh /old64q2DcR01BzZFToZO7sV/2LBcn2isQcMViMti2nvKiIVeme537tR83hkN9DBBo/e tRmg== X-Gm-Message-State: AJcUuke2KBnuYeTrCBNIeh9vzkPKXTR+lFDeOEpeIRdcM9mvsy8L9WVD idyc0x21kaMyyTCg51mbsXWvpOMA X-Google-Smtp-Source: ALg8bN4hBZS680dd+1dIfQzCIsKFW6mvCu0Go8Kwp62b8hsweMf6cIi10cXRUZsXTzbWnyO6wi5ifw== X-Received: by 2002:a1c:2e0c:: with SMTP id u12mr7176561wmu.81.1547067133720; Wed, 09 Jan 2019 12:52:13 -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 i13sm55339016wrw.32.2019.01.09.12.52.12 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Wed, 09 Jan 2019 12:52:12 -0800 (PST) In-Reply-To: <1547066017.2291240.1630221536.19E9AC39@webmail.messagingengine.com> ("Johann \=\?utf-8\?Q\?Kl\=C3\=A4hn\=22's\?\= message of "Wed, 09 Jan 2019 21:33:37 +0100") X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x 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:154295 Archived-At: Johann Kl=C3=A4hn writes: > I just noticed a bug (?) that region becomes de-facto "invisible" due > to its highlight overlay having a lower priority than the flymake > overlays. This only happens when both region and flymake diagnostics > are indicated using the same face property (background in my case). It > becomes more apparent for larger flymake overlays. > > Steps to reproduce, starting from emacs -Q: > > =E2=80=A2 M-: (set-face-background flymake-note "yellow green") You probably mean=20 (set-face-background 'flymake-note "yellow green") > Flymake uses 100 as the offset to compute the default priority for its > overlays: > Is it intentional that 100 is used as the offset here? This has the > effect that most priorities will be above that of the region overlay. Yes, it was intentional. Doesn't mean that it's correct :-) Perhaps it should be reduced to the 50's region and also use the (nil . ), form which I didn't know about (so thanks for showing me this). I don't know if there are any guide-lines for interoperation in this front, so if someone more knowledgeable than me want to chime in... Anyway, for now, you can probably work around this with (push '(priority . (nil . 50)) (get :note 'flymake-overlay-control)) Jo=C3=A3o