Example #1
0
 public Coord sz() {
   return (t.sz());
 }
Example #2
0
 public Coord sz() {
   if (r == null) return (text().sz());
   else return (r.sz());
 }
Example #3
0
 public Tex tex() {
   return (t.tex());
 }