diff options
author | Vitalie Spinu <spinuvit@gmail.com> | 2014-08-03 20:27:53 -0700 |
---|---|---|
committer | Vitalie Spinu <spinuvit@gmail.com> | 2014-08-04 12:22:46 -0700 |
commit | fdfc40b8bd53e9b3e86f08aaa2af8dbd7510a820 (patch) | |
tree | 46b74ad70a5fa3f79e1873a71ccf6e2f06f094d3 | |
parent | 480ba2f3d5571fe8cbc35bb9aa0ef4edd64acfc8 (diff) |
Delete error overlay on modification
-rw-r--r-- | cider-interaction.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/cider-interaction.el b/cider-interaction.el index aba7d79e..88f93812 100644 --- a/cider-interaction.el +++ b/cider-interaction.el @@ -1026,7 +1026,9 @@ If location could not be found, return nil." (overlay-put overlay 'cider-note-p t) (overlay-put overlay 'face face) (overlay-put overlay 'cider-note note) - (overlay-put overlay 'help-echo note)))) + (overlay-put overlay 'help-echo note) + (overlay-put overlay 'modification-hooks + (list (lambda (o &rest args) (delete-overlay o))))))) (defun cider-jump-to-error-maybe (buffer err) "If `cider-auto-jump-to-error' is non-nil, retrieve error location from ERR and jump to it." |