()
| 24490 | return this._theme |
| 24491 | } |
| 24492 | getCommandsBuffer() { |
| 24493 | if (!this._commandsBuffer) this._commandsBuffer = [] |
| 24494 | return this._commandsBuffer |
| 24495 | } |
| 24496 | addToCommandLog(command) { |
| 24497 | this.getCommandsBuffer().push({ |
| 24498 | command: command, |