delete overlay
This commit is contained in:
parent
9d1fe778a6
commit
63ec23c162
@ -69,6 +69,13 @@
|
|||||||
(defvar *annot-ovl* (make-overlay 0 0))
|
(defvar *annot-ovl* (make-overlay 0 0))
|
||||||
(overlay-put *annot-ovl* 'face 'region)
|
(overlay-put *annot-ovl* 'face 'region)
|
||||||
|
|
||||||
|
(defun delete-annot-ovl (beg end len)
|
||||||
|
(delete-overlay *annot-ovl*))
|
||||||
|
|
||||||
|
(setq after-change-functions
|
||||||
|
(cons 'delete-annot-ovl
|
||||||
|
after-change-functions))
|
||||||
|
|
||||||
(defun ghc-show-annot0 (ask modname)
|
(defun ghc-show-annot0 (ask modname)
|
||||||
(let* ((pt (point))
|
(let* ((pt (point))
|
||||||
(ln (int-to-string (line-number-at-pos)))
|
(ln (int-to-string (line-number-at-pos)))
|
||||||
|
Loading…
Reference in New Issue
Block a user