Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFlorian Thienel2016-01-28 13:28:45 -0500
committerFlorian Thienel2016-01-28 13:28:45 -0500
commitb36656260dfd846c4078815363263ab97307f96f (patch)
tree2fe706733613198ddf6d40bc230e13e1a44e83b7
parent9d53249b1cda94482f2ece39ca5e857419683a0c (diff)
downloadorg.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.java4
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) {

Back to the top