mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-21 07:05:58 +02:00
Code Issues Wiki Activity

fix to setSelection()

Browse source
This commit is contained in:
Alain Magloire 2003-12-30 16:34:41 +00:00
parent c064b57468
commit e3eddeb9d1
1 changed files with 47 additions and 36 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/editor/CEditor.java
View file

@ -349,13 +349,24 @@ public class CEditor extends TextEditor implements ISelectionChangedListener {
// 0 length and start and non-zero start line says we know // 0 length and start and non-zero start line says we know
// the line for some reason, but not the offset. // the line for some reason, but not the offset.
if (length == 0 && start == 0 && element.getStartLine() != 0) { if (length == 0 && start == 0 && element.getStartLine() > 0) {
alternateRegion = getDocumentProvider().getDocument(getEditorInput()).getLineInformation(element.getStartLine()); // We have the information in term of lines, we can work it out.
// Binary elements return the first executable statement so we have to substract -1
start = getDocumentProvider().getDocument(getEditorInput()).getLineOffset(element.getStartLine() - 1);
if (element.getEndLine() > 0) {
length = getDocumentProvider().getDocument(getEditorInput()).getLineOffset(element.getEndLine()) - start;
} else {
length = start;
}
// create an alternate region for the keyword highlight.
alternateRegion = getDocumentProvider().getDocument(getEditorInput()).getLineInformation(element.getStartLine() - 1);
if (start == length || length < 0) {
if (alternateRegion != null) { if (alternateRegion != null) {
start = alternateRegion.getOffset(); start = alternateRegion.getOffset();
length = alternateRegion.getLength(); length = alternateRegion.getLength();
} }
} }
}
setHighlightRange(start, length, moveCursor); setHighlightRange(start, length, moveCursor);
if (moveCursor) { if (moveCursor) {