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: Mon, 03 Oct 2011 21:48:30 +0200 Message-ID: <87hb3p7t69.fsf@gromit.tews.net> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: dough.gmane.org 1317672303 5941 80.91.229.12 (3 Oct 2011 20:05:03 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Mon, 3 Oct 2011 20:05:03 +0000 (UTC) To: 9663@debbugs.gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Mon Oct 03 22:04:58 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 1RAokz-00047O-W7 for geb-bug-gnu-emacs@m.gmane.org; Mon, 03 Oct 2011 22:04:58 +0200 Original-Received: from localhost ([::1]:52358 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RAokz-0005Jd-7l for geb-bug-gnu-emacs@m.gmane.org; Mon, 03 Oct 2011 16:04:57 -0400 Original-Received: from eggs.gnu.org ([140.186.70.92]:41361) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RAojj-0004wH-0T for bug-gnu-emacs@gnu.org; Mon, 03 Oct 2011 16:03:40 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RAojh-0004G9-Rl for bug-gnu-emacs@gnu.org; Mon, 03 Oct 2011 16:03:38 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:34092) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RAojh-0004G5-Li for bug-gnu-emacs@gnu.org; Mon, 03 Oct 2011 16:03:37 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.69) (envelope-from ) id 1RAol4-00023e-8C for bug-gnu-emacs@gnu.org; Mon, 03 Oct 2011 16:05: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: 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: X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.13176722857881 (code B ref -1); Mon, 03 Oct 2011 20:05:02 +0000 Original-Received: (at submit) by debbugs.gnu.org; 3 Oct 2011 20:04:45 +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 1RAokm-000232-Ox for submit@debbugs.gnu.org; Mon, 03 Oct 2011 16:04:45 -0400 Original-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 Original-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 Original-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 Original-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 Original-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 Original-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 Original-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) Original-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 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-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 Resent-Date: Mon, 03 Oct 2011 16:05:02 -0400 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 1) X-Received-From: 140.186.70.43 X-Mailman-Approved-At: Mon, 03 Oct 2011 16:04:54 -0400 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:52123 Archived-At: 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)