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

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