hasufell
/
ghc-mod
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

removing overlay when cursor moved.

This commit is contained in:
Kazu Yamamoto 2012-02-13 17:01:13 +09:00
parent 034bb89579
commit f2be5ea5e8
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
elisp/ghc-info.el
View File

@ -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))