secc
/
seL4-L4.verified
mirror of https://github.com/seL4/l4v.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

misc/jedit: update goto-error macro 

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2025-02-17 12:38:12 +11:00
parent 82127dedd6
commit c1ff5273bb
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
misc/jedit/macros/goto-error.bsh
View File

@ -28,10 +28,10 @@ msg(s) { Macros.message(view, s); }
model = Document_Model.get_model(textArea.getBuffer());
snapshot = Document_Model.snapshot(model.get());
class FirstError {
public class FirstError {
public int first_error_pos = -1;
boolean handle(cmd, offset, markup) {
public boolean handle(cmd, offset, markup) {
if (markup.name().equals("error_message")) {
first_error_pos = offset;
@ -39,7 +39,7 @@ class FirstError {
}
return true;
}
void after() {
public void after() {
if (first_error_pos >= 0) {
textArea.setCaretPosition(first_error_pos);
} else {