From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Johann =?UTF-8?Q?Kl=C3=A4hn?= Newsgroups: gmane.emacs.bugs Subject: bug#34022: 26.1; Region highlight has lower priority than flymake overlays Date: Thu, 10 Jan 2019 22:06:42 +0100 Message-ID: <1547154402.1640373.1631290352.72E71BD4@webmail.messagingengine.com> References: <1547066017.2291240.1630221536.19E9AC39@webmail.messagingengine.com> <87ftu1lfka.fsf@gmail.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 1547154985 18668 195.159.176.226 (10 Jan 2019 21:16:25 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Thu, 10 Jan 2019 21:16:25 +0000 (UTC) Cc: 34022@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.org@gnu.org Thu Jan 10 22:16:20 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 1ghhgW-0004eH-8e for geb-bug-gnu-emacs@m.gmane.org; Thu, 10 Jan 2019 22:16:16 +0100 Original-Received: from localhost ([127.0.0.1]:36690 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ghhid-0006PJ-74 for geb-bug-gnu-emacs@m.gmane.org; Thu, 10 Jan 2019 16:18:27 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:52517) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ghhhH-0005am-Cf for bug-gnu-emacs@gnu.org; Thu, 10 Jan 2019 16:17:04 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ghhhG-0005ai-AS for bug-gnu-emacs@gnu.org; Thu, 10 Jan 2019 16:17:03 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:55052) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1ghhhG-0005ZO-6C for bug-gnu-emacs@gnu.org; Thu, 10 Jan 2019 16:17:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ghhhF-0001D1-Vz for bug-gnu-emacs@gnu.org; Thu, 10 Jan 2019 16:17:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Johann =?UTF-8?Q?Kl=C3=A4hn?= Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 10 Jan 2019 21:17: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.15471549714583 (code B ref -1); Thu, 10 Jan 2019 21:17:01 +0000 Original-Received: (at submit) by debbugs.gnu.org; 10 Jan 2019 21:16:11 +0000 Original-Received: from localhost ([127.0.0.1]:54333 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ghhgP-0001Bo-L5 for submit@debbugs.gnu.org; Thu, 10 Jan 2019 16:16:11 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:42018) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ghhgO-0001BW-Dv for submit@debbugs.gnu.org; Thu, 10 Jan 2019 16:16:08 -0500 Original-Received: from lists.gnu.org ([209.51.188.17]:34492) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1ghhgI-000339-VK for submit@debbugs.gnu.org; Thu, 10 Jan 2019 16:16:03 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:52087) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ghhgF-0004oJ-Oy for bug-gnu-emacs@gnu.org; Thu, 10 Jan 2019 16:16:02 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ghhXI-0005vF-Ti for bug-gnu-emacs@gnu.org; Thu, 10 Jan 2019 16:06:45 -0500 Original-Received: from wout2-smtp.messagingengine.com ([64.147.123.25]:44681) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1ghhXI-0005v3-MC; Thu, 10 Jan 2019 16:06:44 -0500 Original-Received: from compute7.internal (compute7.nyi.internal [10.202.2.47]) by mailout.west.internal (Postfix) with ESMTP id B005215E4; Thu, 10 Jan 2019 16:06:43 -0500 (EST) Original-Received: from web4 ([10.202.2.214]) by compute7.internal (MEProxy); Thu, 10 Jan 2019 16:06:43 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=jklaehn.de; h= message-id:from:to:cc:mime-version:content-transfer-encoding :content-type:in-reply-to:date:subject:references; s=fm2; bh=s0J 9nKD/gEx0PUel2mMCehY1JRXM9qipWixUrv+n1gY=; b=pA3TNxAT0GSebRaoaKv 5aZP6zf7mmgebVaj94ybtY/atpcsaolz3UQtiC2mqvDnWFPduK8fU+uVqEZdRPK5 zQQEsReOjuEMCV9OXOStqth/YejZgYV+tiuAJMap4yFNeeymyTSL1mGJHwqHBIFy P17HBGueulh+qdAGgU+DX+fS304w16JHj3xuy4Lvq3ViSgbSJuks8DtDUV+tmg0K wjwe9KYM8Wfq0wXUdb3dvxGAWNY9wU1mvESAMoWsIGNU3CXr6HgtPwX0FRtkWUIL TajEU7IfltrlBfbXCS2wGMwfMTbzduhLUbPDPON0iNC80yP0Blt68Xhn4EB0sufU Gyg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-transfer-encoding:content-type :date:from:in-reply-to:message-id:mime-version:references :subject:to:x-me-proxy:x-me-proxy:x-me-sender:x-me-sender :x-sasl-enc; s=fm1; bh=s0J9nKD/gEx0PUel2mMCehY1JRXM9qipWixUrv+n1 gY=; b=GECmUNNWOa8KKE9iOnPO4qMQ/APTx6IR99yY3YRT0PuvH1l+lDIAZ5jJ0 XsbM/0oqyLg7tiEvMlUF0WgoY0EA3S8C4xWpqfYhNXHXo3S1eF9a6WNvc/34lnHC G3PKt4Y9dC8+BEaNvu6lS5aU+qwFa5+7QZ62ZK4yyNjHuFnJuPBpZodA+9JKVvMk L9LgnrJ/eea+uT8qhXB7mhgg8ucwvanHhIG8O06/NevJCtpxIts+AF4foHKVnU7Q WzbjK1qmEQplRlfYAdNFnfQJjDJ8KqEKC0mqCQgDdkxx6W9nlZPZa8KBy05KA+pW QenXVOdrglanKFNLqShbC4smy+PSQ== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedtledrfeefgddugeejucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfquhhtnecuuegrihhlohhuthemucef tddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenucfjughrpefkhffvggfgtg fojgffufhfsehtqhertdertdejnecuhfhrohhmpeflohhhrghnnhcumfhlmohhnhcuoehj ohhhrghnnhesjhhklhgrvghhnhdruggvqeenucfrrghrrghmpehmrghilhhfrhhomhepjh hohhgrnhhnsehjkhhlrggvhhhnrdguvgenucevlhhushhtvghrufhiiigvpedt X-ME-Proxy: Original-Received: by mailuser.nyi.internal (Postfix, from userid 99) id 0825EBA783; Thu, 10 Jan 2019 16:06:42 -0500 (EST) X-Mailer: MessagingEngine.com Webmail Interface - ajax-5ae1f753 In-Reply-To: <87ftu1lfka.fsf@gmail.com> X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] 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:154322 Archived-At: (Sorry, I initially forgot to CC the bug tracker.) Hi Jo=C3=A3o, thanks for your quick response! I did not see `flymake-overlay-control' bec= ause 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.) On Wed, Jan 9, 2019, at 21:52, Jo=C3=A3o T=C3=A1vora wrote: > Johann Kl=C3=A4hn writes: > > =E2=80=A2 M-: (set-face-background flymake-note "yellow green") >=20 > You probably mean=20 >=20 > (set-face-background 'flymake-note "yellow green") Exactly :) > 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). Wrt. to using non-numeric priority values maybe Eli Zaretskii could chime i= n, because there is the following section ("Overlay Properties") in the Emacs Lisp manual, which he= wrote (see Bug#20253): =E2=80=96 =E2=80=98priority=E2=80=99 =E2=80=96 This property=E2=80=99s value determines the priority of the= overlay. If =E2=80=96 you want to specify a priority value, use either =E2=80=98ni= l=E2=80=99 (or zero), =E2=80=96 or a positive integer. Any other value has undefined behavi= or. =E2=80=96 [...] =E2=80=96 Note that Emacs sometimes uses non-numeric priority values f= or some =E2=80=96 of its internal overlays, so do not try to do arithmetic on = 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 p= riority =E2=80=96 value of the form =E2=80=98(PRIMARY . SECONDARY)=E2=80=99, w= here the PRIMARY value =E2=80=96 is used as described above, and SECONDARY is the fallback va= lue =E2=80=96 used when PRIMARY and the nesting considerations fail to res= olve =E2=80=96 the precedence between overlays. However, you are advised n= ot 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 argum= ent 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" eno= ugh to use those? ...looking around further I just found Bug#16192, where a similar problem w= as fixed for hl-line-mode by using a negative priority. And then there is also Bug#15899, which disc= usses the use of overlays to highlight region in the first place.