diff options
author | Florian Thienel | 2016-01-28 18:28:45 +0000 |
---|---|---|
committer | Florian Thienel | 2016-01-28 18:28:45 +0000 |
commit | b36656260dfd846c4078815363263ab97307f96f (patch) | |
tree | 2fe706733613198ddf6d40bc230e13e1a44e83b7 | |
parent | 9d53249b1cda94482f2ece39ca5e857419683a0c (diff) | |
download | org.eclipse.mylyn.docs.vex-b36656260dfd846c4078815363263ab97307f96f.tar.gz org.eclipse.mylyn.docs.vex-b36656260dfd846c4078815363263ab97307f96f.tar.xz org.eclipse.mylyn.docs.vex-b36656260dfd846c4078815363263ab97307f96f.zip |
flush the style cache when an editor is closed
Signed-off-by: Florian Thienel <florian@thienel.org>
-rw-r--r-- | org.eclipse.vex.ui/src/org/eclipse/vex/ui/internal/editor/VexEditor.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/org.eclipse.vex.ui/src/org/eclipse/vex/ui/internal/editor/VexEditor.java b/org.eclipse.vex.ui/src/org/eclipse/vex/ui/internal/editor/VexEditor.java index 05c725f5..9d4bc691 100644 --- a/org.eclipse.vex.ui/src/org/eclipse/vex/ui/internal/editor/VexEditor.java +++ b/org.eclipse.vex.ui/src/org/eclipse/vex/ui/internal/editor/VexEditor.java @@ -233,6 +233,10 @@ public class VexEditor extends EditorPart { document.removeDocumentListener(documentListener); } + if (style != null) { + style.getStyleSheet().flushAllStyles(document); + } + getEditorSite().getSelectionProvider().removeSelectionChangedListener(selectionChangedListener); if (parentControl != null) { |