(command: CommandInterface)
| 9 | public redo_posible: Boolean = false; |
| 10 | |
| 11 | public push(command: CommandInterface) { |
| 12 | this.undone_history = []; |
| 13 | this.history.push(command) |
| 14 | this.update_status() |
| 15 | } |
| 16 | |
| 17 | public pop(): CommandInterface { |
| 18 | if (!this.undo_posible) return null; |
no test coverage detected