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