From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Tassilo Horn Newsgroups: gmane.emacs.devel Subject: Re: [Emacs-diffs] master 188f657: Fix false negatives in tex--prettify-symbols-compose-p. Date: Wed, 30 Sep 2015 08:46:47 +0200 Message-ID: <87twqcwgiw.fsf@gnu.org> References: <20150925210512.18505.12538@vcs.savannah.gnu.org> <8737xxjtkq.fsf@gnu.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1443675786 19913 80.91.229.3 (1 Oct 2015 05:03:06 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 1 Oct 2015 05:03:06 +0000 (UTC) Cc: emacs-devel To: Artur Malabarba Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Thu Oct 01 07:02:58 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 1ZhW19-0002TC-Mq for ged-emacs-devel@m.gmane.org; Thu, 01 Oct 2015 07:02:55 +0200 Original-Received: from localhost ([::1]:37894 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZhW19-0007oa-31 for ged-emacs-devel@m.gmane.org; Thu, 01 Oct 2015 01:02:55 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:42663) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZhBAC-0006nW-7m for emacs-devel@gnu.org; Wed, 30 Sep 2015 02:46:53 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZhBA9-00022W-0B for emacs-devel@gnu.org; Wed, 30 Sep 2015 02:46:52 -0400 Original-Received: from deliver.uni-koblenz.de ([141.26.64.15]:52458) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZhBA8-00022E-Mf for emacs-devel@gnu.org; Wed, 30 Sep 2015 02:46:48 -0400 Original-Received: from thinkpad-t440p (dhcp145.uni-koblenz.de [141.26.71.145]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (No client certificate requested) by deliver.uni-koblenz.de (Postfix) with ESMTPSA id 597FD1A81DD; Wed, 30 Sep 2015 08:46:47 +0200 (CEST) Mail-Followup-To: Artur Malabarba , emacs-devel In-Reply-To: (Artur Malabarba's message of "Tue, 29 Sep 2015 14:14:53 +0100") User-Agent: Gnus/5.130014 (Ma Gnus v0.14) Emacs/25.0.50 (gnu/linux) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 141.26.64.15 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:190496 Archived-At: Artur Malabarba writes: Hi Artur, >> where `prettify-symbols-compose-at-point' would be the user option. > > I tried something similar, and unfortunately it's not that simple. > Firstly, (window-point) didn't seem to work as expected here, so I had > to define a variable in font-lock-mode to hold the value of (point) > before fontification started. > > After doing that, the feature sort of works while you're writing. That > is, it doesn't prettify a symbol you've just written, but it does > prettify a symbol after you hit SPC, which is nice. However, it does > not work while navigating. That is, when you move point to a > prettified symbol, it doesn't get decomposed. > > Then I tried adding a post-command-hook function to invalidate the > font-locking at point. This correctly decomposes a symbol when you > move the cursor to it, but it's still not perfect. When you move the > cursor *out* of the symbol, if you move far enough, the symbol doesn't > get prettified again until you edit something close to it. Hehe, seems we tried implementing that feature at the same time and both fell into the very same traps. Did you see my other mail? I have gotten it working nicely right yesterday. Right now I did some minor changes, and that's the current version of the patch: Comments welcome! --8<---------------cut here---------------start------------->8--- 1 file changed, 39 insertions(+), 4 deletions(-) lisp/progmodes/prog-mode.el | 43 +++++++++++++++++++++++++++++++++++++++---- modified lisp/progmodes/prog-mode.el @@ -29,7 +29,8 @@ ;;; Code: -(eval-when-compile (require 'cl-lib)) +(eval-when-compile (require 'cl-lib) + (require 'subr-x)) (defgroup prog-mode nil "Generic programming mode, from which others derive." @@ -161,13 +162,20 @@ prettify-symbols--compose-symbol (let ((start (match-beginning 0)) (end (match-end 0)) (match (match-string 0))) - (if (funcall prettify-symbols-compose-predicate start end match) + (if (and (not (equal prettify-symbols--current-symbol-bounds (list start end))) + (funcall prettify-symbols-compose-predicate start end match)) ;; That's a symbol alright, so add the composition. - (compose-region start end (cdr (assoc match alist))) + (progn + (compose-region start end (cdr (assoc match alist))) + (add-text-properties + start end + `(prettify-symbols-start ,start prettify-symbols-end ,end))) ;; No composition for you. Let's actually remove any ;; composition we may have added earlier and which is now ;; incorrect. - (remove-text-properties start end '(composition)))) + (remove-text-properties start end '(composition + prettify-symbols-start + prettify-symbols-end)))) ;; Return nil because we're not adding any face property. nil) @@ -179,6 +187,29 @@ prettify-symbols--make-keywords (defvar-local prettify-symbols--keywords nil) +(defvar-local prettify-symbols--current-symbol-bounds nil) + +(defun prettify-symbols--post-command-hook () + (if-let ((c (get-text-property (point) 'composition)) + (s (get-text-property (point) 'prettify-symbols-start)) + (e (get-text-property (point) 'prettify-symbols-end))) + (progn + (setq prettify-symbols--current-symbol-bounds (list s e)) + (remove-text-properties s e '(composition))) + (when (and prettify-symbols--current-symbol-bounds + (or (< (point) (car prettify-symbols--current-symbol-bounds)) + (>= (point) (cadr prettify-symbols--current-symbol-bounds)))) + (apply #'font-lock-flush prettify-symbols--current-symbol-bounds) + (setq prettify-symbols--current-symbol-bounds nil)))) + +(defcustom prettify-symbols-unprettify-at-point t + "If non-nil, show the non-prettified version of a symbol when point is on it. +The prettification will be reapplied as soon as point moves away +from the symbol. If set to nil, the prettification persists even +when point is on the symbol." + :type 'boolean + :group 'prog-mode) + ;;;###autoload (define-minor-mode prettify-symbols-mode "Toggle Prettify Symbols mode. @@ -206,8 +237,12 @@ prettify-symbols-mode (font-lock-add-keywords nil prettify-symbols--keywords) (setq-local font-lock-extra-managed-props (cons 'composition font-lock-extra-managed-props)) + (when prettify-symbols-unprettify-at-point + (add-hook 'post-command-hook + #'prettify-symbols--post-command-hook nil t)) (font-lock-flush)) ;; Turn off + (remove-hook 'post-command-hook #'prettify-symbols--post-command-hook t) (when prettify-symbols--keywords (font-lock-remove-keywords nil prettify-symbols--keywords) (setq prettify-symbols--keywords nil)) --8<---------------cut here---------------end--------------->8--- Bye, Tassilo