File indexing completed on 2024-11-24 03:39:35 

0001 view.setSelection(new Range(1, 0, 2, 0));
0002 moveLinesDown();
0003 moveLinesDown();
0004 var s = view.selection();
0005 if (s.start.line == 3 && s.start.column == 0 && s.end.line == 4 && s.end.column == 0) {
0006   view.clearSelection();
0007   view.setCursorPosition(4, 0);
0008   view.type("PASS");
0009 }