case 1000: // vt200 mouse
case 1002: // button event mouse
case 1003: // any event mouse
- this._terminal.buffer.x10Mouse = false;
+ this._terminal.x10Mouse = false;
this._terminal.vt200Mouse = false;
this._terminal.normalMouse = false;
this._terminal.mouseEvents = false;
function terminalToString(term) {
var result = '';
var line_s = '';
- for (var line = term.ybase; line < term.ybase + term.rows; line++) {
+ for (var line = term.buffer.ybase; line < term.buffer.ybase + term.rows; line++) {
line_s = '';
for (var cell=0; cell<term.cols; ++cell) {
line_s += term.buffer.lines.get(line)[cell][1];
this.surrogate_high = '';
// Create the terminal's buffers and set the current buffer
- if (!this.buffers) {
- this.buffers = new BufferSet(this);
- this.buffer = this.buffers.active; // Convenience shortcut;
- }
+ this.buffers = new BufferSet(this);
+ this.buffer = this.buffers.active; // Convenience shortcut;
this.buffers.on('activate', function (buffer) {
this._terminal.buffer = buffer;
});