mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-06-06 01:06:01 +02:00
Code Issues Wiki Activity

Fixed indentation of pasted text. Bug 294566.

Browse source
This commit is contained in:
Sergey Prigogin 2009-11-09 07:30:32 +00:00
parent 9ec2df2c3c
commit 0c123289d2
1 changed files with 7 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/text/CAutoIndentStrategy.java
View file

@ -566,18 +566,20 @@ public class CAutoIndentStrategy extends DefaultIndentLineAutoEditStrategy {
firstLine= 0;
}
// prefix: the part we need for formatting but won't paste
IRegion refLine= document.getLineInformationOfOffset(refOffset);
String prefix= document.get(refLine.getOffset(), newOffset - refLine.getOffset());
// Prefix: the part we need for formatting but won't paste.
// Take up to 100 previous lines to preserve enough context.
int firstPrefixLine= Math.max(document.getLineOfOffset(refOffset) - 100, 0);
int prefixOffset= document.getLineInformation(firstPrefixLine).getOffset();
String prefix= document.get(prefixOffset, newOffset - prefixOffset);
// handle the indentation computation inside a temporary document
// Handle the indentation computation inside a temporary document
Document temp= new Document(prefix + newText);
DocumentRewriteSession session= temp.startRewriteSession(DocumentRewriteSessionType.STRICTLY_SEQUENTIAL);
scanner= new CHeuristicScanner(temp);
indenter= new CIndenter(temp, scanner, fProject);
installCPartitioner(temp);
// indent the first and second line
// Indent the first and second line
// compute the relative indentation difference from the second line
// (as the first might be partially selected) and use the value to
// indent all other lines.