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 }