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

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