From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.devel Subject: Re: Can we make set_point_both less expensive? Date: Mon, 16 Mar 2015 20:27:20 +0200 Message-ID: <83twxkztkn.fsf@gnu.org> References: <5505E34C.4000106@dancol.org> <838uex1u1m.fsf@gnu.org> <8361a029p2.fsf@gnu.org> <83vbi0zukw.fsf@gnu.org> <55071E92.1050700@dancol.org> Reply-To: Eli Zaretskii NNTP-Posting-Host: plane.gmane.org X-Trace: ger.gmane.org 1426530476 5378 80.91.229.3 (16 Mar 2015 18:27:56 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 16 Mar 2015 18:27:56 +0000 (UTC) Cc: monnier@IRO.UMontreal.CA, emacs-devel@gnu.org To: Daniel Colascione Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Mon Mar 16 19:27:47 2015 Return-path: Envelope-to: ged-emacs-devel@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 1YXZjv-0003CH-1p for ged-emacs-devel@m.gmane.org; Mon, 16 Mar 2015 19:27:47 +0100 Original-Received: from localhost ([::1]:51079 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YXZju-0004ZP-AT for ged-emacs-devel@m.gmane.org; Mon, 16 Mar 2015 14:27:46 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:49328) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YXZjp-0004Vf-0y for emacs-devel@gnu.org; Mon, 16 Mar 2015 14:27:41 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1YXZjj-0007qg-Hw for emacs-devel@gnu.org; Mon, 16 Mar 2015 14:27:40 -0400 Original-Received: from mtaout22.012.net.il ([80.179.55.172]:35777) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YXZjj-0007qV-9u for emacs-devel@gnu.org; Mon, 16 Mar 2015 14:27:35 -0400 Original-Received: from conversion-daemon.a-mtaout22.012.net.il by a-mtaout22.012.net.il (HyperSendmail v2007.08) id <0NLB00I00HU7SV00@a-mtaout22.012.net.il> for emacs-devel@gnu.org; Mon, 16 Mar 2015 20:27:33 +0200 (IST) Original-Received: from HOME-C4E4A596F7 ([87.69.4.28]) by a-mtaout22.012.net.il (HyperSendmail v2007.08) with ESMTPA id <0NLB00IK2HXWOR20@a-mtaout22.012.net.il>; Mon, 16 Mar 2015 20:27:33 +0200 (IST) In-reply-to: <55071E92.1050700@dancol.org> X-012-Sender: halo1@inter.net.il X-detected-operating-system: by eggs.gnu.org: Solaris 10 X-Received-From: 80.179.55.172 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:183919 Archived-At: > Date: Mon, 16 Mar 2015 11:18:58 -0700 > From: Daniel Colascione > CC: emacs-devel@gnu.org > > On 03/16/2015 11:05 AM, Eli Zaretskii wrote: > >> From: Stefan Monnier > >> Cc: dancol@dancol.org, emacs-devel@gnu.org > >> Date: Mon, 16 Mar 2015 13:36:40 -0400 > >> > >>>> what users of those features normally want is to catch movement of > >>>> the cursor > >>> You mean, we should do this in redisplay? > >> > >> Probably in pre-redisplay-hook or in pre/post-command-hook, yes. > > > > That contradicts the "catch movement of cursor" idea: redisplay could > > well move point from where it is found before redisplay, as you know. > > When does that matter? The intent is to get editing to behave _as if_ > invisible regions were intangible, and the existing invisible motion > behavior seems mostly up to the task. I wasn't talking about intangible, I was talking about the point-entered and point-exited properties. Stefan argues that these should actually be cursor-entered/exited, i.e. we should run the hooks when we know that point has the value that will be used to set the cursor there. But doing that before redisplay doesn't guarantee that, since redisplay sometimes moves point to bring it into view. So in that case, the hooks might run when they shouldn't have, or vice versa.