| branch | v_0 |
| changeset 224 | 36db9fd27436 |
| parent 219 | 3b1733fb3793 |
| child 227 | 0094319a274a |
| 223:195d969a1fb1 | 224:36db9fd27436 |
|---|---|
275 } |
275 } |
276 |
276 |
277 protected void printTableIndent() { |
277 protected void printTableIndent() { |
278 out.print(" "); |
278 out.print(" "); |
279 } |
279 } |
280 |
|
281 /** |
|
282 * @return whether should print only ASCII characters instead of unlimited Unicode. |
|
283 */ |
|
284 protected boolean isAsciiNostalgia() { |
|
285 return asciiNostalgia; |
|
286 } |
|
280 } |
287 } |