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: Wed, 11 Apr 2012 09:43:30 -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> <20357.28928.112118.299385@blau.inf.tu-dresden.de> <83aa2i5ug8.fsf@gnu.org> <20357.34394.201790.771032@blau.inf.tu-dresden.de> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: dough.gmane.org 1334151863 29588 80.91.229.3 (11 Apr 2012 13:44:23 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Wed, 11 Apr 2012 13:44:23 +0000 (UTC) Cc: kevin.d.rodgers@gmail.com, larsi@gnus.org, 9663@debbugs.gnu.org To: Hendrik Tews Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Wed Apr 11 15:44:22 2012 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1SHxqL-0005lS-GW for geb-bug-gnu-emacs@m.gmane.org; Wed, 11 Apr 2012 15:44:17 +0200 Original-Received: from localhost ([::1]:53227 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SHxqK-0000EF-UY for geb-bug-gnu-emacs@m.gmane.org; Wed, 11 Apr 2012 09:44:16 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:39675) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SHxqF-00008f-2m for bug-gnu-emacs@gnu.org; Wed, 11 Apr 2012 09:44:15 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1SHxpz-0004W3-OH for bug-gnu-emacs@gnu.org; Wed, 11 Apr 2012 09:44:10 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:54244) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SHxpz-0004Vs-Kx for bug-gnu-emacs@gnu.org; Wed, 11 Apr 2012 09:43:55 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.72) (envelope-from ) id 1SHxr3-0003oH-Ob for bug-gnu-emacs@gnu.org; Wed, 11 Apr 2012 09:45: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, 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 Original-Received: via spool by 9663-submit@debbugs.gnu.org id=B9663.133415188114588 (code B ref 9663); Wed, 11 Apr 2012 13:45:01 +0000 Original-Received: (at 9663) by debbugs.gnu.org; 11 Apr 2012 13:44:41 +0000 Original-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 Original-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" Original-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 Original-Received: by pastel.home (Postfix, from userid 20848) id 832AB58D2B; Wed, 11 Apr 2012 09:43:30 -0400 (EDT) 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) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list 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:58803 Archived-At: > 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