From unknown Mon Aug 18 08:59:30 2025 X-Loop: help-debbugs@gnu.org Subject: bug#9663: 23.2; feature wish: put priority on vcursor overlay Resent-From: Hendrik Tews Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 03 Oct 2011 20:05:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 9663 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: 9663@debbugs.gnu.org X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.13176722857881 (code B ref -1); Mon, 03 Oct 2011 20:05:02 +0000 Received: (at submit) by debbugs.gnu.org; 3 Oct 2011 20:04:45 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1RAokm-000232-Ox for submit@debbugs.gnu.org; Mon, 03 Oct 2011 16:04:45 -0400 Received: from eggs.gnu.org ([140.186.70.92]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1RAoWZ-0001ic-BU for submit@debbugs.gnu.org; Mon, 03 Oct 2011 15:50:04 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RAoVB-0001Qb-Mw for submit@debbugs.gnu.org; Mon, 03 Oct 2011 15:48:38 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable version=3.3.1 Received: from lists.gnu.org ([140.186.70.17]:53948) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RAoVB-0001QW-LR for submit@debbugs.gnu.org; Mon, 03 Oct 2011 15:48:37 -0400 Received: from eggs.gnu.org ([140.186.70.92]:37626) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RAoVA-0001wB-MS for bug-gnu-emacs@gnu.org; Mon, 03 Oct 2011 15:48:37 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RAoV8-0001PL-L6 for bug-gnu-emacs@gnu.org; Mon, 03 Oct 2011 15:48:36 -0400 Received: from srv4.sysproserver.de ([78.138.89.57]:40703) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RAoV8-0001OY-Dt for bug-gnu-emacs@gnu.org; Mon, 03 Oct 2011 15:48:34 -0400 Received: from gromit.tews.net (91-65-171-87-dynip.superkabel.de [91.65.171.87]) (using TLSv1 with cipher AES256-SHA (256/256 bits)) (No client certificate requested) by srv4.sysproserver.de (Postfix) with ESMTPSA id C83FDA14034; Mon, 3 Oct 2011 21:48:35 +0200 (CEST) Received: from tews by gromit.tews.net with local (Exim 4.72) (envelope-from ) id 1RAoV4-000122-VL; Mon, 03 Oct 2011 21:48:30 +0200 From: Hendrik Tews Date: Mon, 03 Oct 2011 21:48:30 +0200 Message-ID: <87hb3p7t69.fsf@gromit.tews.net> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 3) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 3) X-Received-From: 140.186.70.17 X-Spam-Score: -6.6 (------) X-Mailman-Approved-At: Mon, 03 Oct 2011 16:04:43 -0400 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -6.6 (------) Hi, the vcursor is invisible in the locked regions of Proof General, because the overlay of the locked region has priority 100 and the vcursor overlay has no priority set. Below I attach a patch that adds a defcustom vcursor-overlay-priority to the vcursor package, which fixes this problem. (I hereby assign copyright in this patch to the emacs project/FSF.) Bye, Hendrik Tews *** vcursor-23.2.el 2011-10-03 21:33:10.000000000 +0200 --- vcursor.el 2011-10-03 21:29:59.000000000 +0200 *************** scrolling set this. It is used by the ` *** 508,513 **** --- 508,521 ---- :type 'boolean :group 'vcursor) + (defcustom vcursor-overlay-priority 500 + "Priority of the overlay that symbolizes the vcursor. + Increase this value if the vcursor becomes invisible when moving + into other specifically colored regions of text." + :type 'integer + :group 'vcursor + :version "23.4") + (defvar vcursor-temp-goal-column nil "Keeps track of temporary goal columns for the virtual cursor.") *************** another window. With LEAVE-W, use the c *** 657,663 **** (or window-system (display-color-p) (overlay-put vcursor-overlay 'before-string vcursor-string)) ! (overlay-put vcursor-overlay 'face 'vcursor)) (or leave-w (vcursor-find-window nil t)) ;; vcursor-window now contains the right buffer (or (pos-visible-in-window-p pt vcursor-window) --- 665,672 ---- (or window-system (display-color-p) (overlay-put vcursor-overlay 'before-string vcursor-string)) ! (overlay-put vcursor-overlay 'face 'vcursor) ! (overlay-put vcursor-overlay 'priority vcursor-overlay-priority)) (or leave-w (vcursor-find-window nil t)) ;; vcursor-window now contains the right buffer (or (pos-visible-in-window-p pt vcursor-window) From unknown Mon Aug 18 08:59:30 2025 X-Loop: help-debbugs@gnu.org Subject: bug#9663: 23.2; feature wish: put priority on vcursor overlay Resent-From: Kevin Rodgers Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 06 Oct 2011 04:11:01 +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 To: 9663@debbugs.gnu.org X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.131787423122099 (code B ref -1); Thu, 06 Oct 2011 04:11:01 +0000 Received: (at submit) by debbugs.gnu.org; 6 Oct 2011 04:10:31 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1RBfHx-0005kN-UP for submit@debbugs.gnu.org; Thu, 06 Oct 2011 00:10:30 -0400 Received: from eggs.gnu.org ([140.186.70.92]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1RBfHu-0005k7-6Y for submit@debbugs.gnu.org; Thu, 06 Oct 2011 00:10:27 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RBfHh-0005xS-N8 for submit@debbugs.gnu.org; Thu, 06 Oct 2011 00:10:14 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-4.7 required=5.0 tests=BAYES_00,FREEMAIL_FROM, RCVD_IN_DNSWL_MED,RP_MATCHES_RCVD,T_TO_NO_BRKTS_FREEMAIL autolearn=unavailable version=3.3.1 Received: from lists.gnu.org ([140.186.70.17]:51082) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RBfHh-0005xO-Lc for submit@debbugs.gnu.org; Thu, 06 Oct 2011 00:10:13 -0400 Received: from eggs.gnu.org ([140.186.70.92]:47447) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RBfHg-0005H8-LO for bug-gnu-emacs@gnu.org; Thu, 06 Oct 2011 00:10:13 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RBfHd-0005wN-Ql for bug-gnu-emacs@gnu.org; Thu, 06 Oct 2011 00:10:12 -0400 Received: from lo.gmane.org ([80.91.229.12]:34879) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RBfHd-0005v9-G5 for bug-gnu-emacs@gnu.org; Thu, 06 Oct 2011 00:10:09 -0400 Received: from list by lo.gmane.org with local (Exim 4.69) (envelope-from ) id 1RBfHc-0008O2-Ql for bug-gnu-emacs@gnu.org; Thu, 06 Oct 2011 06:10:08 +0200 Received: from c-71-237-25-24.hsd1.co.comcast.net ([71.237.25.24]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Thu, 06 Oct 2011 06:10:08 +0200 Received: from kevin.d.rodgers by c-71-237-25-24.hsd1.co.comcast.net with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Thu, 06 Oct 2011 06:10:08 +0200 X-Injected-Via-Gmane: http://gmane.org/ From: Kevin Rodgers Date: Wed, 05 Oct 2011 22:10:52 -0600 Lines: 58 Message-ID: References: <87hb3p7t69.fsf@gromit.tews.net> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Complaints-To: usenet@dough.gmane.org X-Gmane-NNTP-Posting-Host: c-71-237-25-24.hsd1.co.comcast.net User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.4; en-US; rv:1.9.2.23) Gecko/20110920 Thunderbird/3.1.15 In-Reply-To: <87hb3p7t69.fsf@gromit.tews.net> X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 3) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 3) X-Received-From: 140.186.70.17 X-Spam-Score: -5.8 (-----) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -5.8 (-----) On 10/3/11 1:48 PM, Hendrik Tews wrote: > the vcursor is invisible in the locked regions of Proof General, > because the overlay of the locked region has priority 100 and the > vcursor overlay has no priority set. > > Below I attach a patch that adds a defcustom > vcursor-overlay-priority to the vcursor package, which fixes this > problem. (I hereby assign copyright in this patch to the emacs > project/FSF.) Wouldn't nil be a better default value than 500? > *** vcursor-23.2.el 2011-10-03 21:33:10.000000000 +0200 > --- vcursor.el 2011-10-03 21:29:59.000000000 +0200 > *************** scrolling set this. It is used by the ` > *** 508,513 **** > --- 508,521 ---- > :type 'boolean > :group 'vcursor) > > + (defcustom vcursor-overlay-priority 500 > + "Priority of the overlay that symbolizes the vcursor. > + Increase this value if the vcursor becomes invisible when moving > + into other specifically colored regions of text." > + :type 'integer > + :group 'vcursor > + :version "23.4") > + > (defvar vcursor-temp-goal-column nil > "Keeps track of temporary goal columns for the virtual cursor.") > > *************** another window. With LEAVE-W, use the c > *** 657,663 **** > (or window-system > (display-color-p) > (overlay-put vcursor-overlay 'before-string vcursor-string)) > ! (overlay-put vcursor-overlay 'face 'vcursor)) > (or leave-w (vcursor-find-window nil t)) > ;; vcursor-window now contains the right buffer > (or (pos-visible-in-window-p pt vcursor-window) > --- 665,672 ---- > (or window-system > (display-color-p) > (overlay-put vcursor-overlay 'before-string vcursor-string)) > ! (overlay-put vcursor-overlay 'face 'vcursor) > ! (overlay-put vcursor-overlay 'priority vcursor-overlay-priority)) > (or leave-w (vcursor-find-window nil t)) > ;; vcursor-window now contains the right buffer > (or (pos-visible-in-window-p pt vcursor-window) > > > > -- Kevin Rodgers Denver, Colorado, USA From unknown Mon Aug 18 08:59:30 2025 X-Loop: help-debbugs@gnu.org Subject: bug#9663: 23.2; feature wish: put priority on vcursor overlay Resent-From: Hendrik Tews Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 01 Nov 2011 16:09:03 +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 To: Kevin Rodgers Cc: 9663@debbugs.gnu.org X-Debbugs-Original-Cc: bug-gnu-emacs@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.13201637208393 (code B ref -1); Tue, 01 Nov 2011 16:09:03 +0000 Received: (at submit) by debbugs.gnu.org; 1 Nov 2011 16:08:40 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1RLGtD-0002BJ-Pg for submit@debbugs.gnu.org; Tue, 01 Nov 2011 12:08:40 -0400 Received: from eggs.gnu.org ([140.186.70.92]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1RLACq-0007kI-UD for submit@debbugs.gnu.org; Tue, 01 Nov 2011 05:00:29 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RLAAZ-000824-7o for submit@debbugs.gnu.org; Tue, 01 Nov 2011 04:58:12 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-3.1 required=5.0 tests=BAYES_00,RP_MATCHES_RCVD autolearn=unavailable version=3.3.1 Received: from lists.gnu.org ([140.186.70.17]:38865) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RLAAZ-00081y-6H for submit@debbugs.gnu.org; Tue, 01 Nov 2011 04:58:07 -0400 Received: from eggs.gnu.org ([140.186.70.92]:38447) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RLAAT-0005pX-LH for bug-gnu-emacs@gnu.org; Tue, 01 Nov 2011 04:58:07 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RLAAR-00080O-Uf for bug-gnu-emacs@gnu.org; Tue, 01 Nov 2011 04:58:01 -0400 Received: from os.inf.tu-dresden.de ([141.76.48.99]:42972) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RLAAR-000801-NI for bug-gnu-emacs@gnu.org; Tue, 01 Nov 2011 04:57:59 -0400 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 1RLAAP-0004ml-US; Tue, 01 Nov 2011 09:57:58 +0100 Received: from tews by blau.inf.tu-dresden.de with local (Exim 4.72) (envelope-from ) id 1RLAAP-0000n9-7J; Tue, 01 Nov 2011 09:57:57 +0100 From: Hendrik Tews MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <20143.46228.767116.633492@blau.inf.tu-dresden.de> Date: Tue, 1 Nov 2011 09:57:56 +0100 In-Reply-To: References: <87hb3p7t69.fsf@gromit.tews.net> X-Mailer: VM 8.1.0 under 23.2.1 (i486-pc-linux-gnu) X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 3) X-Received-From: 140.186.70.17 X-Spam-Score: -6.6 (------) X-Mailman-Approved-At: Tue, 01 Nov 2011 12:08:38 -0400 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -6.6 (------) Kevin Rodgers writes: Date: Wed, 05 Oct 2011 22:10:52 -0600 Subject: Re: bug#9663: 23.2; feature wish: put priority on vcursor overlay Wouldn't nil be a better default value than 500? No, I don't believe so. As a secondary cursor the virtual cursor should be visible under almost all circumstances (in fact, I don't know a use-case, where the virtual cursor should be hidden below some other overlay). Therefore the priority of the vcursor should be reasonable high. Using nil as default would mean that every user of vcursor that uses a package which puts priorities on overlays, has to reconfigure the priority. On the other hand, having the defcustom vcursor-overlay-priority with default nil would still be a big improvement over the current situation, where vcursor users are forced to use advice on vcursor-move. Bye, Hendrik From unknown Mon Aug 18 08:59:30 2025 X-Loop: help-debbugs@gnu.org Subject: bug#9663: 23.2; feature wish: put priority on vcursor overlay Resent-From: Stefan Monnier Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 01 Nov 2011 20:02:01 +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 To: Hendrik Tews Cc: Kevin Rodgers , 9663@debbugs.gnu.org Received: via spool by 9663-submit@debbugs.gnu.org id=B9663.13201776902769 (code B ref 9663); Tue, 01 Nov 2011 20:02:01 +0000 Received: (at 9663) by debbugs.gnu.org; 1 Nov 2011 20:01:30 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1RLKWX-0000ib-OS for submit@debbugs.gnu.org; Tue, 01 Nov 2011 16:01:30 -0400 Received: from pruche.dit.umontreal.ca ([132.204.246.22]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1RLKWV-0000iS-KF for 9663@debbugs.gnu.org; Tue, 01 Nov 2011 16:01:28 -0400 Received: from faina.iro.umontreal.ca (lechon.iro.umontreal.ca [132.204.27.242]) by pruche.dit.umontreal.ca (8.14.1/8.14.1) with ESMTP id pA1JwxX6000762; Tue, 1 Nov 2011 15:58:59 -0400 Received: by faina.iro.umontreal.ca (Postfix, from userid 20848) id 74607B465D; Tue, 1 Nov 2011 15:59:04 -0400 (EDT) From: Stefan Monnier Message-ID: References: <87hb3p7t69.fsf@gromit.tews.net> <20143.46228.767116.633492@blau.inf.tu-dresden.de> Date: Tue, 01 Nov 2011 15:59:04 -0400 In-Reply-To: <20143.46228.767116.633492@blau.inf.tu-dresden.de> (Hendrik Tews's message of "Tue, 1 Nov 2011 09:57:56 +0100") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.90 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-NAI-Spam-Flag: NO X-NAI-Spam-Threshold: 5 X-NAI-Spam-Score: 0 X-NAI-Spam-Rules: 1 Rules triggered RV4028=0 X-NAI-Spam-Version: 2.2.0.9286 : core <4028> : streams <697481> : uri <997092> X-Spam-Score: -4.2 (----) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -4.2 (----) > As a secondary cursor the virtual cursor should be visible under > almost all circumstances (in fact, I don't know a use-case, where > the virtual cursor should be hidden below some other overlay). > Therefore the priority of the vcursor should be reasonable high. That makes sense. OTOH overlays that have the same priority are ordered by size, so that a small overlay such as the vcursor one takes precedence over most other overlays of the 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. Stefan From unknown Mon Aug 18 08:59:30 2025 X-Loop: help-debbugs@gnu.org Subject: bug#9663: 23.2; feature wish: put priority on vcursor overlay Resent-From: Hendrik Tews Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 01 Nov 2011 21:26:01 +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 To: Stefan Monnier Cc: Kevin Rodgers , 9663@debbugs.gnu.org Received: via spool by 9663-submit@debbugs.gnu.org id=B9663.132018275410389 (code B ref 9663); Tue, 01 Nov 2011 21:26:01 +0000 Received: (at 9663) by debbugs.gnu.org; 1 Nov 2011 21:25:54 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1RLLqE-0002hV-4G for submit@debbugs.gnu.org; Tue, 01 Nov 2011 17:25:54 -0400 Received: from os.inf.tu-dresden.de ([141.76.48.99]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1RLLqB-0002hO-PP for 9663@debbugs.gnu.org; Tue, 01 Nov 2011 17:25:52 -0400 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 1RLLnv-0002Uc-2J; Tue, 01 Nov 2011 22:23:31 +0100 Received: from tews by blau.inf.tu-dresden.de with local (Exim 4.72) (envelope-from ) id 1RLLnt-0001qY-70; Tue, 01 Nov 2011 22:23:29 +0100 From: Hendrik Tews MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <20144.25425.69060.662697@blau.inf.tu-dresden.de> Date: Tue, 1 Nov 2011 22:23:29 +0100 In-Reply-To: References: <87hb3p7t69.fsf@gromit.tews.net> <20143.46228.767116.633492@blau.inf.tu-dresden.de> X-Mailer: VM 8.1.0 under 23.2.1 (i486-pc-linux-gnu) X-Spam-Score: -4.6 (----) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -3.9 (---) Stefan Monnier 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. Bye, Hendrik From unknown Mon Aug 18 08:59:30 2025 X-Loop: help-debbugs@gnu.org Subject: bug#9663: 23.2; feature wish: put priority on vcursor overlay 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 To: Hendrik Tews Cc: Kevin Rodgers , 9663@debbugs.gnu.org Received: via spool by 9663-submit@debbugs.gnu.org id=B9663.132019694031252 (code B ref 9663); Wed, 02 Nov 2011 01:23:02 +0000 Received: (at 9663) by debbugs.gnu.org; 2 Nov 2011 01:22:20 +0000 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 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 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 Received: by pastel.home (Postfix, from userid 20848) id 92422592E5; Tue, 1 Nov 2011 21:19:49 -0400 (EDT) From: Stefan Monnier 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> Date: Tue, 01 Nov 2011 21:19:49 -0400 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) MIME-Version: 1.0 Content-Type: text/plain 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-Spam-Score: -4.3 (----) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -4.3 (----) > 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 From unknown Mon Aug 18 08:59:30 2025 X-Loop: help-debbugs@gnu.org Subject: bug#9663: 23.2; feature wish: put priority on vcursor overlay 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 To: Stefan Monnier Cc: Kevin Rodgers , 9663@debbugs.gnu.org Received: via spool by 9663-submit@debbugs.gnu.org id=B9663.132021962531309 (code B ref 9663); Wed, 02 Nov 2011 07:41:02 +0000 Received: (at 9663) by debbugs.gnu.org; 2 Nov 2011 07:40:25 +0000 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 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 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 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 From: Hendrik Tews MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <20144.62293.202712.588478@blau.inf.tu-dresden.de> Date: Wed, 2 Nov 2011 08:37:57 +0100 In-Reply-To: References: <87hb3p7t69.fsf@gromit.tews.net> <20143.46228.767116.633492@blau.inf.tu-dresden.de> <20144.25425.69060.662697@blau.inf.tu-dresden.de> X-Mailer: VM 8.1.0 under 23.2.1 (i486-pc-linux-gnu) X-Spam-Score: -3.6 (---) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -3.4 (---) > 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 From unknown Mon Aug 18 08:59:30 2025 X-Loop: help-debbugs@gnu.org Subject: bug#9663: 23.2; feature wish: put priority on vcursor overlay Resent-From: Lars Magne Ingebrigtsen Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 11 Apr 2012 11:37: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 To: Hendrik Tews Cc: Kevin Rodgers , Stefan Monnier , 9663@debbugs.gnu.org Received: via spool by 9663-submit@debbugs.gnu.org id=B9663.133414420119406 (code B ref 9663); Wed, 11 Apr 2012 11:37:02 +0000 Received: (at 9663) by debbugs.gnu.org; 11 Apr 2012 11:36:41 +0000 Received: from localhost ([127.0.0.1]:50454 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1SHvqo-00052u-OV for submit@debbugs.gnu.org; Wed, 11 Apr 2012 07:36:41 -0400 Received: from hermes.netfonds.no ([80.91.224.195]:48012) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1SHvql-00052l-6v for 9663@debbugs.gnu.org; Wed, 11 Apr 2012 07:36:36 -0400 Received: from cm-84.215.51.58.getinternet.no ([84.215.51.58] helo=stories.gnus.org) by hermes.netfonds.no with esmtpsa (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.72) (envelope-from ) id 1SHvpX-0000im-B5; Wed, 11 Apr 2012 13:35:19 +0200 From: Lars Magne Ingebrigtsen References: <87hb3p7t69.fsf@gromit.tews.net> <20143.46228.767116.633492@blau.inf.tu-dresden.de> <20144.25425.69060.662697@blau.inf.tu-dresden.de> X-Now-Playing: Various's _Fuck Your Dreams, This Is Heaven_: "Minimal Compact - Late Night" Date: Wed, 11 Apr 2012 13:35:18 +0200 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") Message-ID: User-Agent: Gnus/5.130004 (Ma Gnus v0.4) Emacs/24.1.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-MailScanner-ID: 1SHvpX-0000im-B5 X-Netfonds-MailScanner: Found to be clean X-Netfonds-MailScanner-From: larsi@gnus.org MailScanner-NULL-Check: 1334748919.41328@iXWffshVn9UMAojWiQswCA X-Spam-Status: No X-Spam-Score: -1.9 (-) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -1.9 (-) Hendrik Tews 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/ From unknown Mon Aug 18 08:59:30 2025 X-Loop: help-debbugs@gnu.org Subject: bug#9663: 23.2; feature wish: put priority on vcursor overlay Resent-From: Hendrik Tews Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 11 Apr 2012 11:56:01 +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 To: Lars Magne Ingebrigtsen Cc: Kevin Rodgers , Stefan Monnier , 9663@debbugs.gnu.org Received: via spool by 9663-submit@debbugs.gnu.org id=B9663.133414535524453 (code B ref 9663); Wed, 11 Apr 2012 11:56:01 +0000 Received: (at 9663) by debbugs.gnu.org; 11 Apr 2012 11:55:55 +0000 Received: from localhost ([127.0.0.1]:50513 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1SHw9R-0006MJ-My for submit@debbugs.gnu.org; Wed, 11 Apr 2012 07:55:55 -0400 Received: from os.inf.tu-dresden.de ([141.76.48.99]:44747) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1SHw9O-0006M7-KK for 9663@debbugs.gnu.org; Wed, 11 Apr 2012 07:55:52 -0400 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 1SHw8I-0001WC-Kg; Wed, 11 Apr 2012 13:54:42 +0200 Received: from tews by blau.inf.tu-dresden.de with local (Exim 4.72) (envelope-from ) id 1SHw8G-0005Nb-L1; Wed, 11 Apr 2012 13:54:40 +0200 From: Hendrik Tews MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <20357.28928.112118.299385@blau.inf.tu-dresden.de> Date: Wed, 11 Apr 2012 13:54:40 +0200 In-Reply-To: References: <87hb3p7t69.fsf@gromit.tews.net> <20143.46228.767116.633492@blau.inf.tu-dresden.de> <20144.25425.69060.662697@blau.inf.tu-dresden.de> X-Mailer: VM 8.1.0 under 23.2.1 (i486-pc-linux-gnu) X-Spam-Score: -1.9 (-) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -1.9 (-) 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 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? I really don't understand this discussion about a very simple feature wish with a very simple patch. Overlay priorities do exist, so vcursor better should work in the presence of overlays with non-zero priorities, shouldn't it? Bye, Hendrik From unknown Mon Aug 18 08:59:30 2025 X-Loop: help-debbugs@gnu.org Subject: bug#9663: 23.2; feature wish: put priority on vcursor overlay Resent-From: Eli Zaretskii Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 11 Apr 2012 12:26:01 +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 To: Hendrik Tews , Stefan Monnier Cc: larsi@gnus.org, kevin.d.rodgers@gmail.com, 9663@debbugs.gnu.org Reply-To: Eli Zaretskii Received: via spool by 9663-submit@debbugs.gnu.org id=B9663.13341471531177 (code B ref 9663); Wed, 11 Apr 2012 12:26:01 +0000 Received: (at 9663) by debbugs.gnu.org; 11 Apr 2012 12:25:53 +0000 Received: from localhost ([127.0.0.1]:50624 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1SHwcR-0000Iv-IN for submit@debbugs.gnu.org; Wed, 11 Apr 2012 08:25:52 -0400 Received: from mtaout21.012.net.il ([80.179.55.169]:35327) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1SHwcL-0000Ij-VR for 9663@debbugs.gnu.org; Wed, 11 Apr 2012 08:25:48 -0400 Received: from conversion-daemon.a-mtaout21.012.net.il by a-mtaout21.012.net.il (HyperSendmail v2007.08) id <0M2B00900EGEFD00@a-mtaout21.012.net.il> for 9663@debbugs.gnu.org; Wed, 11 Apr 2012 15:24:37 +0300 (IDT) Received: from HOME-C4E4A596F7 ([84.229.57.204]) by a-mtaout21.012.net.il (HyperSendmail v2007.08) with ESMTPA id <0M2B0091REH0CYW0@a-mtaout21.012.net.il>; Wed, 11 Apr 2012 15:24:37 +0300 (IDT) Date: Wed, 11 Apr 2012 15:22:47 +0300 From: Eli Zaretskii In-reply-to: <20357.28928.112118.299385@blau.inf.tu-dresden.de> X-012-Sender: halo1@inter.net.il Message-id: <83aa2i5ug8.fsf@gnu.org> References: <87hb3p7t69.fsf@gromit.tews.net> <20143.46228.767116.633492@blau.inf.tu-dresden.de> <20144.25425.69060.662697@blau.inf.tu-dresden.de> <20357.28928.112118.299385@blau.inf.tu-dresden.de> X-Spam-Score: -1.2 (-) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -1.2 (-) > From: Hendrik Tews > Date: Wed, 11 Apr 2012 13:54:40 +0200 > Cc: Kevin Rodgers , 9663@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 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. However, if, as you say, vcursor should always be visible, why not make its default priority most-positive-fixnum? And if we agree this is TRT, do we still need a defcustom? > I really don't understand this discussion about a very simple > feature wish with a very simple patch. Well, you can't stop people from discussing things, can you? ;-) Stefan, do you object to increasing the priority of vcursor to overcome such problems? If not, my recommendation would be to set the vcursor priority at most-positive-fixnum, and leave the defcustom out. If you do object, then how would you suggest to solve this? From unknown Mon Aug 18 08:59:30 2025 X-Loop: help-debbugs@gnu.org Subject: bug#9663: 23.2; feature wish: put priority on vcursor overlay Resent-From: Hendrik Tews Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 11 Apr 2012 13:28: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 To: Eli Zaretskii Cc: larsi@gnus.org, kevin.d.rodgers@gmail.com, Stefan Monnier , 9663@debbugs.gnu.org Received: via spool by 9663-submit@debbugs.gnu.org id=B9663.13341508239996 (code B ref 9663); Wed, 11 Apr 2012 13:28:02 +0000 Received: (at 9663) by debbugs.gnu.org; 11 Apr 2012 13:27:03 +0000 Received: from localhost ([127.0.0.1]:50758 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1SHxZe-0002bB-VL for submit@debbugs.gnu.org; Wed, 11 Apr 2012 09:27:03 -0400 Received: from os.inf.tu-dresden.de ([141.76.48.99]:46492) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1SHxZa-0002at-KO for 9663@debbugs.gnu.org; Wed, 11 Apr 2012 09:27:00 -0400 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 1SHxYT-0004jf-3D; Wed, 11 Apr 2012 15:25:49 +0200 Received: from tews by blau.inf.tu-dresden.de with local (Exim 4.72) (envelope-from ) id 1SHxYQ-0006rY-At; Wed, 11 Apr 2012 15:25:46 +0200 From: Hendrik Tews MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <20357.34394.201790.771032@blau.inf.tu-dresden.de> Date: Wed, 11 Apr 2012 15:25:46 +0200 In-Reply-To: <83aa2i5ug8.fsf@gnu.org> References: <87hb3p7t69.fsf@gromit.tews.net> <20143.46228.767116.633492@blau.inf.tu-dresden.de> <20144.25425.69060.662697@blau.inf.tu-dresden.de> <20357.28928.112118.299385@blau.inf.tu-dresden.de> <83aa2i5ug8.fsf@gnu.org> X-Mailer: VM 8.1.0 under 23.2.1 (i486-pc-linux-gnu) X-Spam-Score: -1.9 (-) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -1.9 (-) 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 > Date: Wed, 11 Apr 2012 13:54:40 +0200 > Cc: Kevin Rodgers , 9663@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 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 From unknown Mon Aug 18 08:59:30 2025 X-Loop: help-debbugs@gnu.org Subject: bug#9663: 23.2; feature wish: put priority on vcursor overlay Resent-From: Stefan Monnier Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 11 Apr 2012 13:45:01 +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 To: Hendrik Tews Cc: Eli Zaretskii , kevin.d.rodgers@gmail.com, larsi@gnus.org, 9663@debbugs.gnu.org Received: via spool by 9663-submit@debbugs.gnu.org id=B9663.133415188114588 (code B ref 9663); Wed, 11 Apr 2012 13:45:01 +0000 Received: (at 9663) by debbugs.gnu.org; 11 Apr 2012 13:44:41 +0000 Received: from localhost ([127.0.0.1]:50778 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1SHxqi-0003nE-LT for submit@debbugs.gnu.org; Wed, 11 Apr 2012 09:44:40 -0400 Received: from ironport-out.teksavvy.com ([206.248.143.162]:16767) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1SHxqg-0003n8-TX for 9663@debbugs.gnu.org; Wed, 11 Apr 2012 09:44:39 -0400 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApYIACxOgk9FxL8q/2dsb2JhbABDuCMDgQyBCIIJAQEEAVYjBQsLNBIUGA0kLoduBbYyi2GEeQSkRYFdgwM X-IronPort-AV: E=Sophos;i="4.75,391,1330923600"; d="scan'208";a="173331364" Received: from 69-196-191-42.dsl.teksavvy.com (HELO pastel.home) ([69.196.191.42]) by ironport2-out.teksavvy.com with ESMTP/TLS/ADH-AES256-SHA; 11 Apr 2012 09:43:30 -0400 Received: by pastel.home (Postfix, from userid 20848) id 832AB58D2B; Wed, 11 Apr 2012 09:43:30 -0400 (EDT) From: Stefan Monnier 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> <20357.28928.112118.299385@blau.inf.tu-dresden.de> <83aa2i5ug8.fsf@gnu.org> <20357.34394.201790.771032@blau.inf.tu-dresden.de> Date: Wed, 11 Apr 2012 09:43:30 -0400 In-Reply-To: <20357.34394.201790.771032@blau.inf.tu-dresden.de> (Hendrik Tews's message of "Wed, 11 Apr 2012 15:25:46 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.94 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -1.9 (-) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -1.9 (-) > 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 From unknown Mon Aug 18 08:59:30 2025 X-Loop: help-debbugs@gnu.org Subject: bug#9663: 23.2; feature wish: put priority on vcursor overlay Resent-From: Eli Zaretskii Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 11 Apr 2012 14:18: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 To: Hendrik Tews Cc: larsi@gnus.org, kevin.d.rodgers@gmail.com, monnier@iro.umontreal.ca, 9663@debbugs.gnu.org Reply-To: Eli Zaretskii Received: via spool by 9663-submit@debbugs.gnu.org id=B9663.133415383322036 (code B ref 9663); Wed, 11 Apr 2012 14:18:02 +0000 Received: (at 9663) by debbugs.gnu.org; 11 Apr 2012 14:17:13 +0000 Received: from localhost ([127.0.0.1]:52180 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1SHyMC-0005jN-U7 for submit@debbugs.gnu.org; Wed, 11 Apr 2012 10:17:13 -0400 Received: from mtaout21.012.net.il ([80.179.55.169]:48076) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1SHyM7-0005j4-C7 for 9663@debbugs.gnu.org; Wed, 11 Apr 2012 10:17:11 -0400 Received: from conversion-daemon.a-mtaout21.012.net.il by a-mtaout21.012.net.il (HyperSendmail v2007.08) id <0M2B00900IT5OO00@a-mtaout21.012.net.il> for 9663@debbugs.gnu.org; Wed, 11 Apr 2012 17:15:58 +0300 (IDT) Received: from HOME-C4E4A596F7 ([84.229.57.204]) by a-mtaout21.012.net.il (HyperSendmail v2007.08) with ESMTPA id <0M2B009I4JMIOBN0@a-mtaout21.012.net.il>; Wed, 11 Apr 2012 17:15:55 +0300 (IDT) Date: Wed, 11 Apr 2012 17:14:05 +0300 From: Eli Zaretskii In-reply-to: <20357.34394.201790.771032@blau.inf.tu-dresden.de> X-012-Sender: halo1@inter.net.il Message-id: <837gxm5paq.fsf@gnu.org> References: <87hb3p7t69.fsf@gromit.tews.net> <20143.46228.767116.633492@blau.inf.tu-dresden.de> <20144.25425.69060.662697@blau.inf.tu-dresden.de> <20357.28928.112118.299385@blau.inf.tu-dresden.de> <83aa2i5ug8.fsf@gnu.org> <20357.34394.201790.771032@blau.inf.tu-dresden.de> X-Spam-Score: -1.2 (-) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -1.2 (-) > From: Hendrik Tews > Date: Wed, 11 Apr 2012 15:25:46 +0200 > Cc: Stefan Monnier , > larsi@gnus.org, > kevin.d.rodgers@gmail.com, > 9663@debbugs.gnu.org > > > 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? But I just said it was NOT a bug, not in Proof General, not anywhere. > 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. We can bother about that when that day comes, if it ever does. > A large but not maximal number might be a better choice. Any other value is arbitrary, and I don't like arbitrary values. But since it sounds like I'm the only one, I will have to live with that. From unknown Mon Aug 18 08:59:30 2025 X-Loop: help-debbugs@gnu.org Subject: bug#9663: 23.2; feature wish: put priority on vcursor overlay Resent-From: Lars Magne Ingebrigtsen Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 11 Apr 2012 14:30: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 To: Eli Zaretskii Cc: kevin.d.rodgers@gmail.com, monnier@iro.umontreal.ca, 9663@debbugs.gnu.org, Hendrik Tews Received: via spool by 9663-submit@debbugs.gnu.org id=B9663.133415454623163 (code B ref 9663); Wed, 11 Apr 2012 14:30:02 +0000 Received: (at 9663) by debbugs.gnu.org; 11 Apr 2012 14:29:06 +0000 Received: from localhost ([127.0.0.1]:52203 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1SHyXi-00061Y-8g for submit@debbugs.gnu.org; Wed, 11 Apr 2012 10:29:06 -0400 Received: from hermes.netfonds.no ([80.91.224.195]:58062) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1SHyXg-00061R-7O for 9663@debbugs.gnu.org; Wed, 11 Apr 2012 10:29:05 -0400 Received: from cm-84.215.51.58.getinternet.no ([84.215.51.58] helo=stories.gnus.org) by hermes.netfonds.no with esmtpsa (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.72) (envelope-from ) id 1SHyWU-0005np-2O; Wed, 11 Apr 2012 16:27:50 +0200 From: Lars Magne Ingebrigtsen References: <87hb3p7t69.fsf@gromit.tews.net> <20143.46228.767116.633492@blau.inf.tu-dresden.de> <20144.25425.69060.662697@blau.inf.tu-dresden.de> <20357.28928.112118.299385@blau.inf.tu-dresden.de> <83aa2i5ug8.fsf@gnu.org> <20357.34394.201790.771032@blau.inf.tu-dresden.de> <837gxm5paq.fsf@gnu.org> X-Now-Playing: Hector Zazou & Swara's _In the House of Mirrors_: "Twice As Good As We Are" Date: Wed, 11 Apr 2012 16:27:49 +0200 In-Reply-To: <837gxm5paq.fsf@gnu.org> (Eli Zaretskii's message of "Wed, 11 Apr 2012 17:14:05 +0300") Message-ID: User-Agent: Gnus/5.130004 (Ma Gnus v0.4) Emacs/24.1.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-MailScanner-ID: 1SHyWU-0005np-2O X-Netfonds-MailScanner: Found to be clean X-Netfonds-MailScanner-From: larsi@gnus.org MailScanner-NULL-Check: 1334759270.18704@npOBcv+UR9NP4TYXUCWV9Q X-Spam-Status: No X-Spam-Score: -1.9 (-) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -1.9 (-) Eli Zaretskii writes: >> A large but not maximal number might be a better choice. > > Any other value is arbitrary, and I don't like arbitrary values. I've committed "200" to trunk, and noted in the comment that it's arbitrary. -- (domestic pets only, the antidote for overdose, milk.) bloggy blog http://lars.ingebrigtsen.no/ From debbugs-submit-bounces@debbugs.gnu.org Wed Apr 11 10:29:13 2012 Received: (at control) by debbugs.gnu.org; 11 Apr 2012 14:29:13 +0000 Received: from localhost ([127.0.0.1]:52206 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1SHyXp-00061t-F7 for submit@debbugs.gnu.org; Wed, 11 Apr 2012 10:29:13 -0400 Received: from hermes.netfonds.no ([80.91.224.195]:58068) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1SHyXn-00061j-P1 for control@debbugs.gnu.org; Wed, 11 Apr 2012 10:29:12 -0400 Received: from cm-84.215.51.58.getinternet.no ([84.215.51.58] helo=stories.gnus.org) by hermes.netfonds.no with esmtpsa (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.72) (envelope-from ) id 1SHyWZ-0005oB-8v for control@debbugs.gnu.org; Wed, 11 Apr 2012 16:27:55 +0200 Date: Wed, 11 Apr 2012 16:27:54 +0200 Message-Id: To: control@debbugs.gnu.org From: Lars Magne Ingebrigtsen Subject: control message for bug #9663 X-MailScanner-ID: 1SHyWZ-0005oB-8v X-Netfonds-MailScanner: Found to be clean X-Netfonds-MailScanner-From: larsi@gnus.org MailScanner-NULL-Check: 1334759275.48312@z+oPKUx0tg5s/LHiXwiGeg X-Spam-Status: No X-Spam-Score: -1.9 (-) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -1.9 (-) tags 9663 fixed close 9663 24.2