File indexing completed on 2024-11-17 03:41:07 

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