| commit | d400a057831ebc45beca0ef371ecaf17d923acb6 | [log] [tgz] |
|---|---|---|
| author | amywu <amywu> | Wed Jul 26 04:32:35 2006 +0000 |
| committer | amywu <amywu> | Wed Jul 26 04:32:35 2006 +0000 |
| tree | d21e15227a18493a5c3150d048811b6c9472be1d | |
| parent | 81da0d1299ae7ee2175386b208b3888fcc5d7964 [diff] |
[151069] StructuredDocument is not reloaded on ResourceChangedEvent
diff --git a/bundles/org.eclipse.wst.sse.core/src/org/eclipse/wst/sse/core/internal/text/BasicStructuredDocument.java b/bundles/org.eclipse.wst.sse.core/src/org/eclipse/wst/sse/core/internal/text/BasicStructuredDocument.java index b229c8d..6a4ae05 100644 --- a/bundles/org.eclipse.wst.sse.core/src/org/eclipse/wst/sse/core/internal/text/BasicStructuredDocument.java +++ b/bundles/org.eclipse.wst.sse.core/src/org/eclipse/wst/sse/core/internal/text/BasicStructuredDocument.java
@@ -2852,12 +2852,9 @@ * long) */ public void set(String text, long modificationStamp) { - try { - replace(0, getLength(), text); - } - catch (BadLocationException exception) { - Logger.logException(exception); - } + // bug 151069 - overwrite read only regions when setting entire document + replaceText(null, 0, getLength(), text, true); + fModificationStamp = modificationStamp; }