()
| 331 | } |
| 332 | |
| 333 | private resize(): void{ |
| 334 | // The size depends on if there's a translation or not |
| 335 | if(Database.isTranslated()) |
| 336 | this.renderArea.resize(100, 84); |
| 337 | else |
| 338 | this.renderArea.resize(100, 74); |
| 339 | } |
| 340 | |
| 341 | private selectRightSlot(): void{ |
| 342 | // We select the right slot |
no test coverage detected