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

0001 // BUG: #333696
0002 
0003 v.setCursorPosition(0,10);
0004 v.type(".");
0005 v.type(".");
0006 v.type("/");
0007 v.type("foo.hh");
0008 
0009 v.setCursorPosition(1,21);
0010 v.type(".");
0011 v.type(".");
0012 v.type(".");
0013 
0014 v.setCursorPosition(2,10);
0015 v.type(".");
0016 v.type(".");
0017 v.type(".");