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

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