bug-gnu-emacs
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#9663: 23.2; feature wish: put priority on vcursor overlay


From: Lars Magne Ingebrigtsen
Subject: bug#9663: 23.2; feature wish: put priority on vcursor overlay
Date: Wed, 11 Apr 2012 13:35:18 +0200
User-agent: Gnus/5.130004 (Ma Gnus v0.4) Emacs/24.1.50 (gnu/linux)

Hendrik Tews <tews@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?

-- 
(domestic pets only, the antidote for overdose, milk.)
  bloggy blog http://lars.ingebrigtsen.no/





reply via email to

[Prev in Thread] Current Thread [Next in Thread]