| changeset 10419 | 12c063b39232 |
| parent 5506 | 202f599c92aa |
| child 13604 | 31089af1a447 |
| 10418:1d57022fdb6e | 10419:12c063b39232 |
|---|---|
129 |
129 |
130 public Object clone() { |
130 public Object clone() { |
131 try { |
131 try { |
132 return super.clone(); |
132 return super.clone(); |
133 } catch (CloneNotSupportedException ex) { |
133 } catch (CloneNotSupportedException ex) { |
134 throw new InternalError(); |
134 throw new InternalError(ex); |
135 } |
135 } |
136 } |
136 } |
137 |
137 |
138 Dimension getTextDimension() { |
138 Dimension getTextDimension() { |
139 return this.textDimension; |
139 return this.textDimension; |