From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Kevin Rodgers Newsgroups: gmane.emacs.bugs Subject: bug#9663: 23.2; feature wish: put priority on vcursor overlay Date: Wed, 05 Oct 2011 22:10:52 -0600 Message-ID: References: <87hb3p7t69.fsf@gromit.tews.net> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1317874265 30225 80.91.229.12 (6 Oct 2011 04:11:05 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 6 Oct 2011 04:11:05 +0000 (UTC) To: 9663@debbugs.gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Thu Oct 06 06:11:00 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 1RBfIR-00007K-KF for geb-bug-gnu-emacs@m.gmane.org; Thu, 06 Oct 2011 06:10:59 +0200 Original-Received: from localhost ([::1]:36978 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RBfIQ-0005II-NJ for geb-bug-gnu-emacs@m.gmane.org; Thu, 06 Oct 2011 00:10:58 -0400 Original-Received: from eggs.gnu.org ([140.186.70.92]:47580) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RBfIO-0005I9-BT for bug-gnu-emacs@gnu.org; Thu, 06 Oct 2011 00:10:57 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RBfIN-00060I-Bz for bug-gnu-emacs@gnu.org; Thu, 06 Oct 2011 00:10:56 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:48511) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RBfIN-00060D-7j for bug-gnu-emacs@gnu.org; Thu, 06 Oct 2011 00:10:55 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.69) (envelope-from ) id 1RBfIT-0005l5-Ke for bug-gnu-emacs@gnu.org; Thu, 06 Oct 2011 00:11:01 -0400 X-Loop: help-debbugs@gnu.org 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 X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.131787423122099 (code B ref -1); Thu, 06 Oct 2011 04:11:01 +0000 Original-Received: (at submit) by debbugs.gnu.org; 6 Oct 2011 04:10:31 +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 1RBfHx-0005kN-UP for submit@debbugs.gnu.org; Thu, 06 Oct 2011 00:10:30 -0400 Original-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 Original-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 Original-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 Original-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 Original-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 Original-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 Original-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 Original-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 Original-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/ Original-Lines: 58 Original-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-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list Resent-Date: Thu, 06 Oct 2011 00:11:01 -0400 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 1) 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:52250 Archived-At: 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