From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.bugs Subject: bug#9663: 23.2; feature wish: put priority on vcursor overlay Date: Tue, 01 Nov 2011 21:19:49 -0400 Message-ID: References: <87hb3p7t69.fsf@gromit.tews.net> <20143.46228.767116.633492@blau.inf.tu-dresden.de> <20144.25425.69060.662697@blau.inf.tu-dresden.de> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: dough.gmane.org 1320196853 31800 80.91.229.12 (2 Nov 2011 01:20:53 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Wed, 2 Nov 2011 01:20:53 +0000 (UTC) Cc: Kevin Rodgers , 9663@debbugs.gnu.org To: Hendrik Tews Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Wed Nov 02 02:20:48 2011 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([140.186.70.17]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1RLPVX-0003db-Sk for geb-bug-gnu-emacs@m.gmane.org; Wed, 02 Nov 2011 02:20:48 +0100 Original-Received: from localhost ([::1]:46999 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RLPVX-0002ug-0K for geb-bug-gnu-emacs@m.gmane.org; Tue, 01 Nov 2011 21:20:47 -0400 Original-Received: from eggs.gnu.org ([140.186.70.92]:49023) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RLPVT-0002uW-J6 for bug-gnu-emacs@gnu.org; Tue, 01 Nov 2011 21:20:44 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RLPVS-0006gi-Np for bug-gnu-emacs@gnu.org; Tue, 01 Nov 2011 21:20:43 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:42987) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RLPVS-0006ge-L0 for bug-gnu-emacs@gnu.org; Tue, 01 Nov 2011 21:20:42 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.69) (envelope-from ) id 1RLPXi-000895-Fo for bug-gnu-emacs@gnu.org; Tue, 01 Nov 2011 21:23:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Stefan Monnier Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 02 Nov 2011 01:23: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.132019694031252 (code B ref 9663); Wed, 02 Nov 2011 01:23:02 +0000 Original-Received: (at 9663) by debbugs.gnu.org; 2 Nov 2011 01:22:20 +0000 Original-Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1RLPX2-000881-CX for submit@debbugs.gnu.org; Tue, 01 Nov 2011 21:22:20 -0400 Original-Received: from pruche.dit.umontreal.ca ([132.204.246.22]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1RLPX0-00087t-2h for 9663@debbugs.gnu.org; Tue, 01 Nov 2011 21:22:18 -0400 Original-Received: from pastel.home (lechon.iro.umontreal.ca [132.204.27.242]) by pruche.dit.umontreal.ca (8.14.1/8.14.1) with ESMTP id pA21JopT008590; Tue, 1 Nov 2011 21:19:51 -0400 Original-Received: by pastel.home (Postfix, from userid 20848) id 92422592E5; Tue, 1 Nov 2011 21:19:49 -0400 (EDT) In-Reply-To: <20144.25425.69060.662697@blau.inf.tu-dresden.de> (Hendrik Tews's message of "Tue, 1 Nov 2011 22:23:29 +0100") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.90 (gnu/linux) X-NAI-Spam-Flag: NO X-NAI-Spam-Threshold: 5 X-NAI-Spam-Score: 0.5 X-NAI-Spam-Rules: 2 Rules triggered OPT_HEADER=0.5, RV4028=0 X-NAI-Spam-Version: 2.2.0.9286 : core <4028> : streams <697553> : uri <997239> X-NAI-Spam-Level: X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list Resent-Date: Tue, 01 Nov 2011 21:23:02 -0400 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:53425 Archived-At: > 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. I'm not sure why ProofGeneral messes with priorities, tho. Nor why it chooses 100 as the "default raised priority", nor "raised with respect to what". The way I see it, overlay priorities are very little used and are fairly problematic, so I'd rather recommend not to use them. Stefan