diff options
author | angelozerr | 2018-09-22 03:16:50 +0000 |
---|---|---|
committer | Mickael Istria | 2018-09-24 09:17:19 +0000 |
commit | 5a5fb99fe281b7cafe3731a6f4a7d6c3500e5c08 (patch) | |
tree | a26efb4662b2cd384a9417519c65974a68252565 | |
parent | c902eb5d3d9ecb59c2179ab178eff4220bb86b2d (diff) | |
download | eclipse.platform.text-5a5fb99fe281b7cafe3731a6f4a7d6c3500e5c08.tar.gz eclipse.platform.text-5a5fb99fe281b7cafe3731a6f4a7d6c3500e5c08.tar.xz eclipse.platform.text-5a5fb99fe281b7cafe3731a6f4a7d6c3500e5c08.zip |
Bug 539338 - [code mining] Clean code mining providers doesn't remove
old code mining annotations
Change-Id: I8dec68fdc4a8dd29cc2d7671fbcb8c0eba7d2961
Signed-off-by: angelozerr <angelo.zerr@gmail.com>
-rw-r--r-- | org.eclipse.jface.text/src/org/eclipse/jface/internal/text/codemining/CodeMiningManager.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/org.eclipse.jface.text/src/org/eclipse/jface/internal/text/codemining/CodeMiningManager.java b/org.eclipse.jface.text/src/org/eclipse/jface/internal/text/codemining/CodeMiningManager.java index 28f7d4bb073..91b689b3a7b 100644 --- a/org.eclipse.jface.text/src/org/eclipse/jface/internal/text/codemining/CodeMiningManager.java +++ b/org.eclipse.jface.text/src/org/eclipse/jface/internal/text/codemining/CodeMiningManager.java @@ -101,6 +101,9 @@ public class CodeMiningManager implements Runnable { */
public void uninstall() {
cancel();
+ if (fInlinedAnnotationSupport != null) {
+ fInlinedAnnotationSupport.updateAnnotations(Collections.emptySet());
+ }
}
/**
|