From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.bugs Subject: bug#15312: Info (point-entered, point-left): Doc incomplete, hence incorrect Date: Fri, 13 Sep 2013 16:29:20 +0300 Message-ID: <83vc24hmtr.fsf@gnu.org> References: <87ppsiw22k.fsf@gmail.com> <83sixej6iz.fsf@gnu.org> <878uz573kr.fsf@gmail.com> <83fvtck8mv.fsf@gnu.org> <87hadrel77.fsf@gmail.com> <83zjrjiifl.fsf@gnu.org> <877gel1ejy.fsf@gmail.com> <87vc25z1pe.fsf@gmail.com> Reply-To: Eli Zaretskii NNTP-Posting-Host: plane.gmane.org X-Trace: ger.gmane.org 1379079022 9833 80.91.229.3 (13 Sep 2013 13:30:22 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 13 Sep 2013 13:30:22 +0000 (UTC) Cc: 15312@debbugs.gnu.org, kjambunathan@gmail.com To: Stefan Monnier Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Fri Sep 13 15:30:23 2013 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 1VKTRy-0004Z6-Oz for geb-bug-gnu-emacs@m.gmane.org; Fri, 13 Sep 2013 15:30:18 +0200 Original-Received: from localhost ([::1]:47043 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VKTRy-0002R0-Bx for geb-bug-gnu-emacs@m.gmane.org; Fri, 13 Sep 2013 09:30:18 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:36694) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VKTRq-0002Ql-4Q for bug-gnu-emacs@gnu.org; Fri, 13 Sep 2013 09:30:15 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1VKTRl-00073J-0u for bug-gnu-emacs@gnu.org; Fri, 13 Sep 2013 09:30:10 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:52976) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VKTRk-00072z-Uq for bug-gnu-emacs@gnu.org; Fri, 13 Sep 2013 09:30:04 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1VKTRj-0007fh-Je for bug-gnu-emacs@gnu.org; Fri, 13 Sep 2013 09:30:03 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Eli Zaretskii Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Fri, 13 Sep 2013 13:30:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 15312 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 15312-submit@debbugs.gnu.org id=B15312.137907898529442 (code B ref 15312); Fri, 13 Sep 2013 13:30:02 +0000 Original-Received: (at 15312) by debbugs.gnu.org; 13 Sep 2013 13:29:45 +0000 Original-Received: from localhost ([127.0.0.1]:33035 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VKTRQ-0007em-J2 for submit@debbugs.gnu.org; Fri, 13 Sep 2013 09:29:44 -0400 Original-Received: from mtaout20.012.net.il ([80.179.55.166]:41712) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VKTRK-0007eR-KG for 15312@debbugs.gnu.org; Fri, 13 Sep 2013 09:29:39 -0400 Original-Received: from conversion-daemon.a-mtaout20.012.net.il by a-mtaout20.012.net.il (HyperSendmail v2007.08) id <0MT200000FS1PN00@a-mtaout20.012.net.il> for 15312@debbugs.gnu.org; Fri, 13 Sep 2013 16:29:32 +0300 (IDT) Original-Received: from HOME-C4E4A596F7 ([87.69.4.28]) by a-mtaout20.012.net.il (HyperSendmail v2007.08) with ESMTPA id <0MT2000LCG58JK60@a-mtaout20.012.net.il>; Fri, 13 Sep 2013 16:29:32 +0300 (IDT) In-reply-to: X-012-Sender: halo1@inter.net.il X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x 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:78342 Archived-At: > From: Stefan Monnier > Cc: Eli Zaretskii , 15312@debbugs.gnu.org > Date: Fri, 13 Sep 2013 09:12:49 -0400 > > > ,---- (info "(elisp) Not Intervals") > > | "What are the properties of this character?" So we have decided these > > | are the only questions that make sense; we have not implemented asking > > | questions about where intervals start or end. > > `---- > > We should indeed amend the above: while text-properties indeed only > apply to individual characters, and are not intervals (contrary to > overlays), there are several places where we consider runs of > consecutive characters that share the same property value (and more > specifically, we use `eq' as the equality predicate in those cases). > > This is the case for example for `mouse-face' since we don't just want > to highlight the character under the mouse. > > It's also the case for point-entered/left, otherwise "entering/leaving" > is kind of meaningless (remember that point is never in/on a character, > but always between 2 characters). Sorry, I don't understand what you are saying about the original issue with point-entered/left. Are you saying that the code works correctly, or are you saying it has a bug?