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: Sat, 14 Sep 2013 09:50:01 +0300 Message-ID: <83fvt7hp7q.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> <83vc24hmtr.fsf@gnu.org> <87k3ikn16j.fsf@gmail.com> <83r4cshdty.fsf@gnu.org> <83mwngh68u.fsf@gnu.org> Reply-To: Eli Zaretskii NNTP-Posting-Host: plane.gmane.org X-Trace: ger.gmane.org 1379141474 31346 80.91.229.3 (14 Sep 2013 06:51:14 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 14 Sep 2013 06:51:14 +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 Sat Sep 14 08:51:16 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 1VKjhL-0003df-UE for geb-bug-gnu-emacs@m.gmane.org; Sat, 14 Sep 2013 08:51:16 +0200 Original-Received: from localhost ([::1]:52174 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VKjhL-0008Uv-DZ for geb-bug-gnu-emacs@m.gmane.org; Sat, 14 Sep 2013 02:51:15 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:52150) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VKjhE-0008Uj-7m for bug-gnu-emacs@gnu.org; Sat, 14 Sep 2013 02:51:13 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1VKjh9-0005UJ-4J for bug-gnu-emacs@gnu.org; Sat, 14 Sep 2013 02:51:08 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:55494) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VKjh9-0005U8-0Y for bug-gnu-emacs@gnu.org; Sat, 14 Sep 2013 02:51:03 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1VKjh8-0002QR-B0 for bug-gnu-emacs@gnu.org; Sat, 14 Sep 2013 02:51:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Eli Zaretskii Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 14 Sep 2013 06:51: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.13791414219256 (code B ref 15312); Sat, 14 Sep 2013 06:51:02 +0000 Original-Received: (at 15312) by debbugs.gnu.org; 14 Sep 2013 06:50:21 +0000 Original-Received: from localhost ([127.0.0.1]:35554 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VKjgS-0002PC-3C for submit@debbugs.gnu.org; Sat, 14 Sep 2013 02:50:20 -0400 Original-Received: from mtaout20.012.net.il ([80.179.55.166]:42941) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VKjgO-0002Ox-UH for 15312@debbugs.gnu.org; Sat, 14 Sep 2013 02:50:17 -0400 Original-Received: from conversion-daemon.a-mtaout20.012.net.il by a-mtaout20.012.net.il (HyperSendmail v2007.08) id <0MT300900RM73B00@a-mtaout20.012.net.il> for 15312@debbugs.gnu.org; Sat, 14 Sep 2013 09:50:11 +0300 (IDT) Original-Received: from HOME-C4E4A596F7 ([87.69.4.28]) by a-mtaout20.012.net.il (HyperSendmail v2007.08) with ESMTPA id <0MT3009SISBM1760@a-mtaout20.012.net.il>; Sat, 14 Sep 2013 09:50:11 +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:78382 Archived-At: > From: Stefan Monnier > Cc: kjambunathan@gmail.com, 15312@debbugs.gnu.org > Date: Fri, 13 Sep 2013 16:35:09 -0400 > > >> > That's not because of the text properties, but because mouse-highlight > >> > implementation is explicitly coded that way. > >> It's done elsewhere, indeed, but to the user the end-result is the same: > >> the text-properties end up describing an interval-ish thing. > > Interval-ish and "intervals" are not the same. Intervals can (and do) > > overlap, and they actually represent a tree of text extents. Text > > properties cannot overlap. > > I the manual, we do not formally define "interval", so I think that > something that describes a contiguous sequence of characters *is* an > interval in that context, even if it's not necessarily an > interval-in-the-particular-sense-discussed-nearby. Then perhaps the right place for some such text is in "Property Search", where those "intervals" are called "chunks of text that have the same property value".