lookin into jdoc scroll bug, irritating one this

This commit is contained in:
Manindra Moharana
2014-02-23 03:12:10 +05:30
parent d1bc54484b
commit 0632309fc0
3 changed files with 88 additions and 4 deletions

View File

@@ -1278,9 +1278,13 @@ public class ErrorCheckerService implements Runnable{
* @return true - if highlighting happened correctly.
*/
public boolean highlightNode(ASTNodeWrapper awrap){
log("Highlighting: " + awrap);
try {
int pdeoffsets[] = awrap.getPDECodeOffsets(this);
int javaoffsets[] = awrap.getJavaCodeOffsets(this);
log("offsets: " +pdeoffsets[0] + "," +
pdeoffsets[1]+ "," +javaoffsets[1]+ "," +
javaoffsets[2]);
scrollToErrorLine(editor, pdeoffsets[0],
pdeoffsets[1],javaoffsets[1],
javaoffsets[2]);