diff options
author | Dani Megert | 2008-08-12 10:15:44 +0000 |
---|---|---|
committer | Dani Megert | 2008-08-12 10:15:44 +0000 |
commit | 5740c118f397c68de389f780081a7d2a843ad024 (patch) | |
tree | 1c45b41c226169645795e43da794b60962788ec8 /org.eclipse.jface.text/projection/org/eclipse/jface/text/source/projection/ProjectionViewer.java | |
parent | 039cf98f897ebf7430b5c3d8f0d9da907d84424d (diff) | |
download | eclipse.platform.text-5740c118f397c68de389f780081a7d2a843ad024.tar.gz eclipse.platform.text-5740c118f397c68de389f780081a7d2a843ad024.tar.xz eclipse.platform.text-5740c118f397c68de389f780081a7d2a843ad024.zip |
Fixed bug 243635: Code folding turning itself onv20080812-0800
Diffstat (limited to 'org.eclipse.jface.text/projection/org/eclipse/jface/text/source/projection/ProjectionViewer.java')
-rw-r--r-- | org.eclipse.jface.text/projection/org/eclipse/jface/text/source/projection/ProjectionViewer.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/org.eclipse.jface.text/projection/org/eclipse/jface/text/source/projection/ProjectionViewer.java b/org.eclipse.jface.text/projection/org/eclipse/jface/text/source/projection/ProjectionViewer.java index 6c3237d5200..dbd223f8d93 100644 --- a/org.eclipse.jface.text/projection/org/eclipse/jface/text/source/projection/ProjectionViewer.java +++ b/org.eclipse.jface.text/projection/org/eclipse/jface/text/source/projection/ProjectionViewer.java @@ -314,16 +314,16 @@ public class ProjectionViewer extends SourceViewer implements ITextViewerExtensi private final IDocumentRewriteSessionListener fSessionListener= new ProjectionDocumentRewriteSessionListener(); private class ProjectionDocumentRewriteSessionListener implements IDocumentRewriteSessionListener { - boolean fWasFoldingEnabled= false; + private boolean fWasProjectionEnabledBeforeRewrite= false; public void documentRewriteSessionChanged(DocumentRewriteSessionEvent event) { if (event.getSession().getSessionType() == DocumentRewriteSessionType.UNRESTRICTED_SMALL) return; if (DocumentRewriteSessionEvent.SESSION_START.equals(event.getChangeType())) { - fWasProjectionEnabled= isProjectionMode(); + fWasProjectionEnabledBeforeRewrite= isProjectionMode(); disableProjection(); } else if (DocumentRewriteSessionEvent.SESSION_STOP.equals(event.getChangeType())) - if (fWasProjectionEnabled) + if (fWasProjectionEnabledBeforeRewrite) enableProjection(); } } |