GNU bug report logs - #9663
23.2; feature wish: put priority on vcursor overlay

Previous Next

Package: emacs;

Reported by: Hendrik Tews <hendrik <at> askra.de>

Date: Mon, 3 Oct 2011 20:05:02 UTC

Severity: normal

Tags: fixed, patch

Found in version 23.2

Fixed in version 24.2

Done: Lars Magne Ingebrigtsen <larsi <at> gnus.org>

Bug is archived. No further changes may be made.

Full log

Message #35 received at 9663 <at> debbugs.gnu.org (full text, mbox):

From: Hendrik Tews <tews <at> os.inf.tu-dresden.de>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: larsi <at> gnus.org, kevin.d.rodgers <at> gmail.com,
	Stefan Monnier <monnier <at> iro.umontreal.ca>, 9663 <at> debbugs.gnu.org
Subject: Re: bug#9663: 23.2; feature wish: put priority on vcursor overlay
Date: Wed, 11 Apr 2012 15:25:46 +0200

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 <tews <at> os.inf.tu-dresden.de>
   > Date: Wed, 11 Apr 2012 13:54:40 +0200
   > Cc: Kevin Rodgers <kevin.d.rodgers <at> gmail.com>, 9663 <at> 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 <tews <at> os.inf.tu-dresden.de> 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
This bug report was last modified 13 years and 102 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.