|
Lines 788-794
Link Here
|
| 788 |
* @param indent the indentation to insert |
788 |
* @param indent the indentation to insert |
| 789 |
* @throws BadLocationException on concurrent document modification |
789 |
* @throws BadLocationException on concurrent document modification |
| 790 |
*/ |
790 |
*/ |
| 791 |
private static void addIndent(Document document, int line, CharSequence indent) throws BadLocationException { |
791 |
private void addIndent(Document document, int line, CharSequence indent) throws BadLocationException { |
| 792 |
IRegion region= document.getLineInformation(line); |
792 |
IRegion region= document.getLineInformation(line); |
| 793 |
int insert= region.getOffset(); |
793 |
int insert= region.getOffset(); |
| 794 |
int endOffset= region.getOffset() + region.getLength(); |
794 |
int endOffset= region.getOffset() + region.getLength(); |
