(renderArea: RenderArea)
| 516 | } |
| 517 | |
| 518 | public resizeFromArea(renderArea: RenderArea): void{ |
| 519 | this.resize(renderArea.getWidth(), renderArea.getHeight()); |
| 520 | } |
| 521 | |
| 522 | public resizeFromArray(array: string[], xAdd: number = 0, yAdd: number = 0): void{ |
| 523 | var width: number = 0; |