eessppeelllloo/processing4
1
0
Fork 0
mirror of https://github.com/processing/processing4.git synced 2026-02-14 02:45:36 +01:00
Code Issues Packages Projects Releases Wiki Activity

one simply doesn't have enough scrolling routines

Browse Source
This commit is contained in:
Manindra Moharana
2014-06-11 02:49:34 +05:30
parent 6fb0becd4b
commit 82467dab9d
1 changed files with 25 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

28
pdex/src/processing/mode/experimental/ErrorCheckerService.java
View File

@@ -1503,7 +1503,7 @@ public class ErrorCheckerService implements Runnable{
// log("---");
}*/
public void scrollToErrorLine(Problem p) {
/*public void scrollToErrorLine(Problem p) {
if (editor == null) {
return;
}
@@ -1517,7 +1517,7 @@ public class ErrorCheckerService implements Runnable{
log("P start: " + prbStart + " to "
+ prbEnd + " pkgOffset " + pkgNameOffset);
int lineNumber = p
.getIProblem().getSourceLineNumber();
.getIProblem().getSourceLineNumber()-1;
Element lineElement = astGenerator.getJavaSourceCodeElement(lineNumber);
log("Line element off " + lineElement.getStartOffset());
OffsetMatcher ofm = new OffsetMatcher(
@@ -1529,7 +1529,7 @@ public class ErrorCheckerService implements Runnable{
int pdeOffset = ofm.getPdeOffForJavaOff(prbStart
- lineElement.getStartOffset(), (prbEnd - p
.getIProblem().getSourceStart()));
astGenerator.highlightPDECode(p.getTabIndex(), p.getLineNumber(),
astGenerator.highlightPDECode(p.getTabIndex(), p.getLineNumber()-1,
pdeOffset, (prbEnd - prbStart + 1));
editor.getTextArea().scrollTo(p.getLineNumber() - 1, 0);
editor.repaint();
@@ -1539,6 +1539,28 @@ public class ErrorCheckerService implements Runnable{
e.printStackTrace();
}
// log("---");
}*/
public void scrollToErrorLine(Problem p) {
if (editor == null) {
return;
}
if (p == null)
return;
try {
astGenerator.highlightPDECode(p.getTabIndex(),
p.getLineNumber() - 1,
p.getPDELineStartOffset(),
(p.getPDELineStopOffset()
- p.getPDELineStartOffset() + 1));
editor.getTextArea().scrollTo(p.getLineNumber() - 1, 0);
editor.repaint();
} catch (Exception e) {
System.err.println(e
+ " : Error while selecting text in scrollToErrorLine()");
e.printStackTrace();
}
// log("---");
}
/**