File indexing completed on 2024-06-16 03:51:40 

0001 v.setCursorPosition(0, document.lineLength(0));
0002 v.enter();
0003 v.type("arg2)");
0004 v.enter();
0005 v.type("return true");
0006 v.enter()
0007 v.type("end")