Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorangelozerr2018-09-22 03:16:50 +0000
committerMickael Istria2018-09-24 09:17:19 +0000
commit5a5fb99fe281b7cafe3731a6f4a7d6c3500e5c08 (patch)
treea26efb4662b2cd384a9417519c65974a68252565
parentc902eb5d3d9ecb59c2179ab178eff4220bb86b2d (diff)
downloadeclipse.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.java3
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());
+ }
}
/**

Back to the top