diff options
author | teicher | 2005-02-03 17:34:30 +0000 |
---|---|---|
committer | teicher | 2005-02-03 17:34:30 +0000 |
commit | 2ce43fb1a23805a8f6669ba495da52990420ca3d (patch) | |
tree | d211d69a6d8bac602e736f09a3b21b11015f93fb /org.eclipse.text/projection/org/eclipse/jface/text | |
parent | 7537f26b63f2f97efb4f68aaa8b5845e76ef53c2 (diff) | |
download | eclipse.platform.text-2ce43fb1a23805a8f6669ba495da52990420ca3d.tar.gz eclipse.platform.text-2ce43fb1a23805a8f6669ba495da52990420ca3d.tar.xz eclipse.platform.text-2ce43fb1a23805a8f6669ba495da52990420ca3d.zip |
folding with designated caption lines
Diffstat (limited to 'org.eclipse.text/projection/org/eclipse/jface/text')
-rw-r--r-- | org.eclipse.text/projection/org/eclipse/jface/text/projection/IMinimalMapping.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/org.eclipse.text/projection/org/eclipse/jface/text/projection/IMinimalMapping.java b/org.eclipse.text/projection/org/eclipse/jface/text/projection/IMinimalMapping.java index 41d076ec20e..b6af8296132 100644 --- a/org.eclipse.text/projection/org/eclipse/jface/text/projection/IMinimalMapping.java +++ b/org.eclipse.text/projection/org/eclipse/jface/text/projection/IMinimalMapping.java @@ -17,8 +17,8 @@ import org.eclipse.jface.text.IRegion; /** * Internal interface for defining the exact subset of - * {@link org.eclipse.jface.text.projection.ProjectionMapping}that the - * {@link org.eclipse.jface.text.projection.ProjectionTextStore}is allowed to + * {@link org.eclipse.jface.text.projection.ProjectionMapping} that the + * {@link org.eclipse.jface.text.projection.ProjectionTextStore} is allowed to * access. * * @since 3.0 @@ -43,7 +43,7 @@ interface IMinimalMapping { /* * @see org.eclipse.jface.text.IDocumentInformationMappingExtension#toExactOriginRegions(IRegion) */ - IRegion[] toExactOriginRegions(IRegion region)throws BadLocationException; + IRegion[] toExactOriginRegions(IRegion region) throws BadLocationException; /* * @see org.eclipse.jface.text.IDocumentInformationMappingExtension#getImageLength() |