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: Thu, 10 Jan 2019 22:03:44 +0000 Message-ID: <87bm4omapr.fsf@gmail.com> References: <1547066017.2291240.1630221536.19E9AC39@webmail.messagingengine.com> <87ftu1lfka.fsf@gmail.com> <1547154402.1640373.1631290352.72E71BD4@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 1547157945 6052 195.159.176.226 (10 Jan 2019 22:05:45 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Thu, 10 Jan 2019 22:05:45 +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 Thu Jan 10 23:05:41 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 1ghiSK-0001Qv-Jb for geb-bug-gnu-emacs@m.gmane.org; Thu, 10 Jan 2019 23:05:40 +0100 Original-Received: from localhost ([127.0.0.1]:51090 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ghiUR-00016s-AS for geb-bug-gnu-emacs@m.gmane.org; Thu, 10 Jan 2019 17:07:51 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:33458) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ghiRn-0007vO-6J for bug-gnu-emacs@gnu.org; Thu, 10 Jan 2019 17:05:09 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ghiRl-0005bH-4h for bug-gnu-emacs@gnu.org; Thu, 10 Jan 2019 17:05:07 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:55077) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1ghiRj-0005aE-Ek for bug-gnu-emacs@gnu.org; Thu, 10 Jan 2019 17:05:05 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ghiRh-0002NL-Uv for bug-gnu-emacs@gnu.org; Thu, 10 Jan 2019 17:05:03 -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: Thu, 10 Jan 2019 22:05:01 +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, Eli Zaretskii Original-Received: via spool by submit@debbugs.gnu.org id=B.15471578469050 (code B ref -1); Thu, 10 Jan 2019 22:05:01 +0000 Original-Received: (at submit) by debbugs.gnu.org; 10 Jan 2019 22:04:06 +0000 Original-Received: from localhost ([127.0.0.1]:54355 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ghiQn-0002Lu-Tj for submit@debbugs.gnu.org; Thu, 10 Jan 2019 17:04:06 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:50865) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ghiQk-0002LE-MS for submit@debbugs.gnu.org; Thu, 10 Jan 2019 17:04:03 -0500 Original-Received: from lists.gnu.org ([209.51.188.17]:52383) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1ghiQe-0004zv-QJ for submit@debbugs.gnu.org; Thu, 10 Jan 2019 17:03:57 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:32833) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ghiQd-0006zb-O9 for bug-gnu-emacs@gnu.org; Thu, 10 Jan 2019 17:03:56 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ghiQb-0004xq-KL for bug-gnu-emacs@gnu.org; Thu, 10 Jan 2019 17:03:55 -0500 Original-Received: from mail-wr1-x42d.google.com ([2a00:1450:4864:20::42d]:34786) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1ghiQZ-0004wb-V9; Thu, 10 Jan 2019 17:03:52 -0500 Original-Received: by mail-wr1-x42d.google.com with SMTP id j2so13171445wrw.1; Thu, 10 Jan 2019 14:03:51 -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=+YAmmW5wLM641FocYzazOAgEfrTf/7Lr/dAQDpbIgi8=; b=A3xfEvLQMLM3lN5a6kVsOq9zqzTCiBnw4ZbpNIvX+JISJz7U1YWwUKosVtnVCN/hl4 p4w9MBWT2WMbMfLFKpkwheniGf5ig1pfPvrS7R9RO99mn2Lnt6ec/psRxX9cG/V0ez6H 8TpZEl/8cAiu5hhDrxBmRuZweTYynhDgC9Jduhe07TDchlFdz62G0pGDuZ7tTg1rvIs+ i4EfPh+yzH85KS19pJ9HXdIRJmlm50BM7xOI+b0wCEj7bg1N4oH+0nQSuwihAf/zrqf6 BY1tL1KOAgzgf6kpdNtnqQbqKv02sUeNBviPrsS7c1D5YUL6xO9pWwSHexeNlZorjQ1L rBNg== 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=+YAmmW5wLM641FocYzazOAgEfrTf/7Lr/dAQDpbIgi8=; b=btVxC9EpBjOuqE9YBnCMP8qewsYkt3r+m/+MGAgXDe4ypycUMdQ0vWcBCQ+8XmJ7rF bgA3reZ7nFRN43aZXm7tpFcXHs9P6FK5DfS9pOgYSJPxSQF3T4fnGAO3natCiyzPiff8 Z6FotsvRBfI2hvEH9hcPbT/QXSFfGxpsXa7GWJtx1tLKwnWvQRoGMFg1AJEZZ9FpEECr 0UNQR8iTzW0COMTxF1GyttBYX3CQ5JnjkbRE8mTSrNDvZpjf3+1iOgh4tCFaJbgFUISf 6Rk9uJm1C7L7si/hkQR3ZJZmUfpJNhhsVE89dJV7EtusBuTgJt2vi2bVdL3Kfvd1TEzv whMQ== X-Gm-Message-State: AJcUukd9sHHPyFO2dVISvEVA1ahcWGzNPpGNRnlVWHNgjYLMWcp+NYrE y5z6UY9Y1MCSEZm3qluGXVlUc/Mr X-Google-Smtp-Source: ALg8bN4pL0IkwbSjBySvGJvxkde7VuDHdq22K47QfLKYDjjNQKluD6+sMkE88nxgVzDa7j59YM5ZlQ== X-Received: by 2002:adf:c108:: with SMTP id r8mr11406554wre.233.1547157828082; Thu, 10 Jan 2019 14:03:48 -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 p6sm75092063wrx.50.2019.01.10.14.03.47 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Thu, 10 Jan 2019 14:03:47 -0800 (PST) In-Reply-To: <1547154402.1640373.1631290352.72E71BD4@webmail.messagingengine.com> ("Johann \=\?utf-8\?Q\?Kl\=C3\=A4hn\=22's\?\= message of "Thu, 10 Jan 2019 22:06:42 +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:154324 Archived-At: Johann Kl=C3=A4hn writes: > thanks for your quick response! I did not see > `flymake-overlay-control' because I was still using the version of > flymake shipped with Emacs 26.1. (I really like the options introduced > with the new version allows, so I will probably switch to using it.) Flymake is now also distributed through ELPA, so you can use the most recent version even on Emacs 26.1 > =E2=80=96 =E2=80=98priority=E2=80=99 > =E2=80=96 This property=E2=80=99s value determines the priority of t= he overlay. If > =E2=80=96 you want to specify a priority value, use either =E2=80=98= nil=E2=80=99 (or zero), > =E2=80=96 or a positive integer. Any other value has undefined beha= vior. > =E2=80=96 [...] > =E2=80=96 Note that Emacs sometimes uses non-numeric priority values= for some > =E2=80=96 of its internal overlays, so do not try to do arithmetic o= n the > =E2=80=96 priority of an overlay (unless it is one that you created)= . In > =E2=80=96 particular, the overlay used for showing the region uses a= priority > =E2=80=96 value of the form =E2=80=98(PRIMARY . SECONDARY)=E2=80=99,= where the PRIMARY value > =E2=80=96 is used as described above, and SECONDARY is the fallback = value > =E2=80=96 used when PRIMARY and the nesting considerations fail to r= esolve > =E2=80=96 the precedence between overlays. However, you are advised= not to > =E2=80=96 design Lisp programs based on this implementation detail; = if you > =E2=80=96 need to put overlays in priority order, use the SORTED arg= ument of > =E2=80=96 =E2=80=98overlays-at=E2=80=99. *Note Finding Overlays::. > > Even though it's shipped with Emacs, flymake is probably not > "internal" enough to use those? Good point. Don't know how to fix it then. > ...looking around further I just found Bug#16192, where a similar > problem was fixed for hl-line-mode by using a negative priority. And > then there is also Bug#15899, which discusses the use of overlays to > highlight region in the first place. > I remember reading somewhere negative priorites were a nono, maybe that has changed. Jo=C3=A3o