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

Selection thingy works like a charm

Browse Source
This commit is contained in:
Manindra Moharana
2013-06-18 17:40:04 +05:30
parent a2cf09f7fe
commit fbafd8e07c
3 changed files with 26 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1081,31 +1081,35 @@ public class ErrorCheckerService implements Runnable{
}
/**
* Static method for scroll to a particular line in the PDE. Requires
* the editor instance as arguement. About time this went static.
* /** Static method for scroll to a particular line in the PDE. Requires the
* editor instance as arguement.
*
* @param edt
* @param tabIndex
* @param lineNoInTab - line number in the corresponding tab
* @param lineNoInTab
* - line number in the corresponding tab
* @param lineStartOffset
* - selection start offset(from line start non-whitespace offset)
* @param length
* - length of selection
* @return - true, if scroll was successful
*/
public static boolean scrollToErrorLine(Editor edt, int tabIndex, int lineNoInTab) {
public static boolean scrollToErrorLine(Editor edt, int tabIndex, int lineNoInTab, int lineStartOffset, int length) {
if (edt == null) {
return false;
}
try {
edt.toFront();
edt.getSketch().setCurrentCode(tabIndex);
edt.setSelection(edt.getTextArea()
.getLineStartNonWhiteSpaceOffset(lineNoInTab - 1)
+ edt.getTextArea().getLineText(lineNoInTab - 1)
.trim().length(), edt.getTextArea()
.getLineStartNonWhiteSpaceOffset(lineNoInTab - 1));
int lsno = edt.getTextArea()
.getLineStartNonWhiteSpaceOffset(lineNoInTab - 1) + lineStartOffset;
edt.setSelection(lsno, lsno + length);
edt.getTextArea().scrollTo(lineNoInTab - 1, 0);
edt.repaint();
System.out.println(lineStartOffset + " LSO,len " + length);
} catch (Exception e) {
System.err.println(e
+ " : Error while selecting text in scrollToErrorLine()");
+ " : Error while selecting text in static scrollToErrorLine()");
e.printStackTrace();
return false;
}