Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDani Megert2008-08-12 10:15:44 +0000
committerDani Megert2008-08-12 10:15:44 +0000
commit5740c118f397c68de389f780081a7d2a843ad024 (patch)
tree1c45b41c226169645795e43da794b60962788ec8 /org.eclipse.jface.text/projection/org/eclipse/jface/text/source/projection/ProjectionViewer.java
parent039cf98f897ebf7430b5c3d8f0d9da907d84424d (diff)
downloadeclipse.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.java6
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();
}
}

Back to the top