diff options
| author | Kai Maetzel | 2003-09-30 16:52:51 +0000 |
|---|---|---|
| committer | Kai Maetzel | 2003-09-30 16:52:51 +0000 |
| commit | fc67837809eca2601f3362886ba944ab5c5c7ce0 (patch) | |
| tree | 4881bf3d4b36ac9c00fc0e61ef78f327517fc485 /org.eclipse.text | |
| parent | c3f0b441961cd052e6d554ae4f3c48c54aa20eb3 (diff) | |
| download | eclipse.platform.text-fc67837809eca2601f3362886ba944ab5c5c7ce0.tar.gz eclipse.platform.text-fc67837809eca2601f3362886ba944ab5c5c7ce0.tar.xz eclipse.platform.text-fc67837809eca2601f3362886ba944ab5c5c7ce0.zip | |
bug fixing
Diffstat (limited to 'org.eclipse.text')
| -rw-r--r-- | org.eclipse.text/src/org/eclipse/jface/text/DocumentPartitioningChangedEvent.java | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/org.eclipse.text/src/org/eclipse/jface/text/DocumentPartitioningChangedEvent.java b/org.eclipse.text/src/org/eclipse/jface/text/DocumentPartitioningChangedEvent.java index 0086da828d7..3b852c65574 100644 --- a/org.eclipse.text/src/org/eclipse/jface/text/DocumentPartitioningChangedEvent.java +++ b/org.eclipse.text/src/org/eclipse/jface/text/DocumentPartitioningChangedEvent.java @@ -70,8 +70,7 @@ public class DocumentPartitioningChangedEvent { } /** - * Sets the specified range as changed region for the given partitioning - * if this event is not sealed. + * Sets the specified range as changed region for the given partitioning. * * @param partitioning the partitioning * @param offset the region offset |