diff options
| author | david_williams | 2005-09-14 04:16:04 +0000 |
|---|---|---|
| committer | david_williams | 2005-09-14 04:16:04 +0000 |
| commit | 577a8f037b864ef4e35e02724e6eacb82f61b8bf (patch) | |
| tree | af1c81053abbe5bf1e205df872167270753ef37d /bundles/org.eclipse.wst.xml.core/src/org/eclipse/wst/xml | |
| parent | 45fd04c8af4659e95d1f31a75022737169600088 (diff) | |
| download | webtools.sourceediting-577a8f037b864ef4e35e02724e6eacb82f61b8bf.tar.gz webtools.sourceediting-577a8f037b864ef4e35e02724e6eacb82f61b8bf.tar.xz webtools.sourceediting-577a8f037b864ef4e35e02724e6eacb82f61b8bf.zip | |
[103022] XML Editor conflicts with 2.1 based editors - partial fix to remove NullPartioner
Diffstat (limited to 'bundles/org.eclipse.wst.xml.core/src/org/eclipse/wst/xml')
| -rw-r--r-- | bundles/org.eclipse.wst.xml.core/src/org/eclipse/wst/xml/core/internal/text/rules/StructuredTextPartitionerForXML.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bundles/org.eclipse.wst.xml.core/src/org/eclipse/wst/xml/core/internal/text/rules/StructuredTextPartitionerForXML.java b/bundles/org.eclipse.wst.xml.core/src/org/eclipse/wst/xml/core/internal/text/rules/StructuredTextPartitionerForXML.java index d1d2551e2a..bd8a9b8fa8 100644 --- a/bundles/org.eclipse.wst.xml.core/src/org/eclipse/wst/xml/core/internal/text/rules/StructuredTextPartitionerForXML.java +++ b/bundles/org.eclipse.wst.xml.core/src/org/eclipse/wst/xml/core/internal/text/rules/StructuredTextPartitionerForXML.java @@ -52,7 +52,7 @@ public class StructuredTextPartitionerForXML extends StructuredTextPartitioner i * extract the target processor name and create a partition type * dynamically. */ - IStructuredDocumentRegion docRegion = structuredDocument.getRegionAtCharacterOffset(offset); + IStructuredDocumentRegion docRegion = fStructuredDocument.getRegionAtCharacterOffset(offset); ITextRegion name = docRegion.getRegionAtCharacterOffset(docRegion.getStartOffset() + region.getStart() - 1); result = IXMLPartitions.PROCESSING_INSTRUCTION_PREFIX + docRegion.getText(name).toUpperCase(Locale.ENGLISH); } |