From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.bugs Subject: bug#9663: 23.2; feature wish: put priority on vcursor overlay Date: Wed, 11 Apr 2012 15:22:47 +0300 Message-ID: <83aa2i5ug8.fsf@gnu.org> References: <87hb3p7t69.fsf@gromit.tews.net> <20143.46228.767116.633492@blau.inf.tu-dresden.de> <20144.25425.69060.662697@blau.inf.tu-dresden.de> <20357.28928.112118.299385@blau.inf.tu-dresden.de> Reply-To: Eli Zaretskii NNTP-Posting-Host: plane.gmane.org X-Trace: dough.gmane.org 1334148063 29841 80.91.229.3 (11 Apr 2012 12:41:03 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Wed, 11 Apr 2012 12:41:03 +0000 (UTC) Cc: larsi@gnus.org, kevin.d.rodgers@gmail.com, 9663@debbugs.gnu.org To: Hendrik Tews , Stefan Monnier Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Wed Apr 11 14:40:59 2012 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1SHwr3-0006sQ-BS for geb-bug-gnu-emacs@m.gmane.org; Wed, 11 Apr 2012 14:40:57 +0200 Original-Received: from localhost ([::1]:48762 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SHwr2-0003fk-Fr for geb-bug-gnu-emacs@m.gmane.org; Wed, 11 Apr 2012 08:40:56 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:48611) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SHwqy-0003fY-M8 for bug-gnu-emacs@gnu.org; Wed, 11 Apr 2012 08:40:54 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1SHwqT-0007OG-7N for bug-gnu-emacs@gnu.org; Wed, 11 Apr 2012 08:40:27 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:54086) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SHwbX-0003co-Tr for bug-gnu-emacs@gnu.org; Wed, 11 Apr 2012 08:24:56 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.72) (envelope-from ) id 1SHwcb-0000JI-P8 for bug-gnu-emacs@gnu.org; Wed, 11 Apr 2012 08:26:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Eli Zaretskii Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 11 Apr 2012 12:26:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 9663 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: patch Original-Received: via spool by 9663-submit@debbugs.gnu.org id=B9663.13341471531177 (code B ref 9663); Wed, 11 Apr 2012 12:26:01 +0000 Original-Received: (at 9663) by debbugs.gnu.org; 11 Apr 2012 12:25:53 +0000 Original-Received: from localhost ([127.0.0.1]:50624 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1SHwcR-0000Iv-IN for submit@debbugs.gnu.org; Wed, 11 Apr 2012 08:25:52 -0400 Original-Received: from mtaout21.012.net.il ([80.179.55.169]:35327) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1SHwcL-0000Ij-VR for 9663@debbugs.gnu.org; Wed, 11 Apr 2012 08:25:48 -0400 Original-Received: from conversion-daemon.a-mtaout21.012.net.il by a-mtaout21.012.net.il (HyperSendmail v2007.08) id <0M2B00900EGEFD00@a-mtaout21.012.net.il> for 9663@debbugs.gnu.org; Wed, 11 Apr 2012 15:24:37 +0300 (IDT) Original-Received: from HOME-C4E4A596F7 ([84.229.57.204]) by a-mtaout21.012.net.il (HyperSendmail v2007.08) with ESMTPA id <0M2B0091REH0CYW0@a-mtaout21.012.net.il>; Wed, 11 Apr 2012 15:24:37 +0300 (IDT) In-reply-to: <20357.28928.112118.299385@blau.inf.tu-dresden.de> X-012-Sender: halo1@inter.net.il X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 2) X-Received-From: 140.186.70.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-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.bugs:58789 Archived-At: > From: Hendrik Tews > Date: Wed, 11 Apr 2012 13:54:40 +0200 > Cc: Kevin Rodgers , 9663@debbugs.gnu.org > > Lars Magne Ingebrigtsen writes: > Date: Wed, 11 Apr 2012 13:35:18 +0200 > Subject: Re: bug#9663: 23.2; feature wish: put priority on vcursor overlay > > Hendrik Tews writes: > > > same priority. Which makes me wonder: why other overlay have > > you bumped into which has either higher priority than nil, or > > nil priority but is not larger than vcursor. > > > > As I wrote in the feature wish: the locked region in Proof > > General (proof-locked-span). It has priority 100, see the call to > > span-raise inside proof-init-segmentation in > > generic/proof-script.el. > > So perhaps this is a bug in Proof General and doesn't really require an > overlay priority in Emacs? > > Could you explain why using a non-deprecated feature (priorities > of overlays) is a bug? It isn't. However, if, as you say, vcursor should always be visible, why not make its default priority most-positive-fixnum? And if we agree this is TRT, do we still need a defcustom? > I really don't understand this discussion about a very simple > feature wish with a very simple patch. Well, you can't stop people from discussing things, can you? ;-) Stefan, do you object to increasing the priority of vcursor to overcome such problems? If not, my recommendation would be to set the vcursor priority at most-positive-fixnum, and leave the defcustom out. If you do object, then how would you suggest to solve this?