File indexing completed on 2024-05-26 04:02:02
0001 v.setCursorPosition(0,0); 0002 v.selectAll(); 0003 0004 var r = v.selection(); 0005 if( r.isValid() ) { 0006 v.align( r ); 0007 } 0008
File indexing completed on 2024-05-26 04:02:02
0001 v.setCursorPosition(0,0); 0002 v.selectAll(); 0003 0004 var r = v.selection(); 0005 if( r.isValid() ) { 0006 v.align( r ); 0007 } 0008