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 #38 received at 9663 <at> debbugs.gnu.org (full text, mbox):

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

> I still don't understand why you suggest this is a bug in Proof
> General?

I don't know either, but I do agree that uses of overlay priorities are
generally wrong (i.e. they workaround a problem, introducing others).

> 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 that's the reason why I hate overlay priorities and they're never
a good solution, although once you go down that path, there's little
else you can do.

I see no need for a defcustom.  Just put a large enough value (e.g. 200)
to fix the immediate problem, and hope for the best, since after all,
that's the best we can do at this point anyway.


        Stefan
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.