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, 2 Nov 2011 08:37:57 +0100 Message-ID: <20144.62293.202712.588478@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> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1320219530 19113 80.91.229.12 (2 Nov 2011 07:38:50 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Wed, 2 Nov 2011 07:38:50 +0000 (UTC) Cc: Kevin Rodgers , 9663@debbugs.gnu.org To: Stefan Monnier Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Wed Nov 02 08:38:45 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 1RLVPJ-0002F9-JE for geb-bug-gnu-emacs@m.gmane.org; Wed, 02 Nov 2011 08:38:45 +0100 Original-Received: from localhost ([::1]:58456 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RLVPI-0003MZ-Sn for geb-bug-gnu-emacs@m.gmane.org; Wed, 02 Nov 2011 03:38:44 -0400 Original-Received: from eggs.gnu.org ([140.186.70.92]:49377) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RLVPG-0003MJ-Bt for bug-gnu-emacs@gnu.org; Wed, 02 Nov 2011 03:38:43 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RLVPF-0008RG-E4 for bug-gnu-emacs@gnu.org; Wed, 02 Nov 2011 03:38:42 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:38580) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RLVPF-0008RC-BW for bug-gnu-emacs@gnu.org; Wed, 02 Nov 2011 03:38:41 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.69) (envelope-from ) id 1RLVRW-00089m-Az for bug-gnu-emacs@gnu.org; Wed, 02 Nov 2011 03:41: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, 02 Nov 2011 07:41: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.132021962531309 (code B ref 9663); Wed, 02 Nov 2011 07:41:02 +0000 Original-Received: (at 9663) by debbugs.gnu.org; 2 Nov 2011 07:40:25 +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 1RLVQu-00088w-Jx for submit@debbugs.gnu.org; Wed, 02 Nov 2011 03:40:25 -0400 Original-Received: from os.inf.tu-dresden.de ([141.76.48.99]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1RLVQr-00088o-VX for 9663@debbugs.gnu.org; Wed, 02 Nov 2011 03:40:23 -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 1RLVOZ-00038Z-92; Wed, 02 Nov 2011 08:37:59 +0100 Original-Received: from tews by blau.inf.tu-dresden.de with local (Exim 4.72) (envelope-from ) id 1RLVOX-0002Jh-NZ; Wed, 02 Nov 2011 08:37:57 +0100 In-Reply-To: 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.11 Precedence: list Resent-Date: Wed, 02 Nov 2011 03:41: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:53431 Archived-At: > 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. I don't know either. Nevertheless, priorities on overlays are a standard emacs feature. Therefore, there should be a way to adjust the priority of the vcursor without having to use advice in an inefficient way. Bye, Hendrik