From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Hendrik Tews Newsgroups: gmane.emacs.bugs Subject: bug#9663: 23.2; feature wish: put priority on vcursor overlay Date: Wed, 11 Apr 2012 15:25:46 +0200 Message-ID: <20357.34394.201790.771032@blau.inf.tu-dresden.de> 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> <83aa2i5ug8.fsf@gnu.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1334150836 20939 80.91.229.3 (11 Apr 2012 13:27:16 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Wed, 11 Apr 2012 13:27:16 +0000 (UTC) Cc: larsi@gnus.org, kevin.d.rodgers@gmail.com, 9663@debbugs.gnu.org To: Eli Zaretskii Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Wed Apr 11 15:27:14 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 1SHxZq-000301-Ix for geb-bug-gnu-emacs@m.gmane.org; Wed, 11 Apr 2012 15:27:14 +0200 Original-Received: from localhost ([::1]:36854 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SHxZp-0006Uq-Qa for geb-bug-gnu-emacs@m.gmane.org; Wed, 11 Apr 2012 09:27:13 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:59145) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SHxZe-0006TQ-Bt for bug-gnu-emacs@gnu.org; Wed, 11 Apr 2012 09:27:12 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1SHxZY-0004nC-0F for bug-gnu-emacs@gnu.org; Wed, 11 Apr 2012 09:27:01 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:54220) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SHxZX-0004n7-TC for bug-gnu-emacs@gnu.org; Wed, 11 Apr 2012 09:26:55 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.72) (envelope-from ) id 1SHxac-0002cQ-6P for bug-gnu-emacs@gnu.org; Wed, 11 Apr 2012 09:28:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Hendrik Tews Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 11 Apr 2012 13:28:02 +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.13341508239996 (code B ref 9663); Wed, 11 Apr 2012 13:28:02 +0000 Original-Received: (at 9663) by debbugs.gnu.org; 11 Apr 2012 13:27:03 +0000 Original-Received: from localhost ([127.0.0.1]:50758 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1SHxZe-0002bB-VL for submit@debbugs.gnu.org; Wed, 11 Apr 2012 09:27:03 -0400 Original-Received: from os.inf.tu-dresden.de ([141.76.48.99]:46492) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1SHxZa-0002at-KO for 9663@debbugs.gnu.org; Wed, 11 Apr 2012 09:27:00 -0400 Original-Received: from [2002:8d4c:3001:48:222:68ff:fe19:71d] (helo=blau.inf.tu-dresden.de) by os.inf.tu-dresden.de with esmtpsa (TLSv1:AES256-SHA:256) (Exim 4.77) id 1SHxYT-0004jf-3D; Wed, 11 Apr 2012 15:25:49 +0200 Original-Received: from tews by blau.inf.tu-dresden.de with local (Exim 4.72) (envelope-from ) id 1SHxYQ-0006rY-At; Wed, 11 Apr 2012 15:25:46 +0200 In-Reply-To: <83aa2i5ug8.fsf@gnu.org> X-Mailer: VM 8.1.0 under 23.2.1 (i486-pc-linux-gnu) 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:58800 Archived-At: Eli Zaretskii writes: Date: Wed, 11 Apr 2012 15:22:47 +0300 Subject: Re: bug#9663: 23.2; feature wish: put priority on vcursor overlay > 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. I still don't understand why you suggest this is a bug in Proof General? However, if, as you say, vcursor should always be visible, why not make its default priority most-positive-fixnum? I agree, most-positive-fixnum would be a reasonable choice. However, some day there might be a package with an overly that should hide the vcursor. A large but not maximal number might be a better choice. And if we agree this is TRT, do we still need a defcustom? Because the defcustom gives more freedom to users and without it they have to resort to (defadvice vcursor-move (after vcursor-overlay-set-priority activate) "Change the priority of the vcursor overlay." (and vcursor-overlay (overlay-put vcursor-overlay 'priority 1000))) Bye, Hendrik