From f2be5ea5e8ffc2a146bea02b22cfe3230d50e363 Mon Sep 17 00:00:00 2001 From: Kazu Yamamoto Date: Mon, 13 Feb 2012 17:01:13 +0900 Subject: [PATCH] removing overlay when cursor moved. --- elisp/ghc-info.el | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/elisp/ghc-info.el b/elisp/ghc-info.el index 4203bf7..a93a5e0 100644 --- a/elisp/ghc-info.el +++ b/elisp/ghc-info.el @@ -70,12 +70,18 @@ (ghc-type-set-ix 0) (ghc-type-set-point 0) (setq after-change-functions - (cons 'ghc-type-deleve-overlay after-change-functions))) + (cons 'ghc-type-delete-overlay after-change-functions)) + (set (make-local-variable 'post-command-hook) 'ghc-type-post-command-hook)) -(defun ghc-type-deleve-overlay (beg end len) +(defun ghc-type-delete-overlay (&optional beg end len) (when (overlayp ghc-type-overlay) (delete-overlay ghc-type-overlay))) +(defun ghc-type-post-command-hook () + (when (and (overlayp ghc-type-overlay) + (/= (ghc-type-get-point) (point))) + (ghc-type-delete-overlay))) + (defun ghc-show-type () (interactive) (if (not (ghc-which ghc-module-command))