<div>
<h2>Options</h2>
<p>
- <label><input type="checkbox" id="option-cursor-blink"> cursorBlink</label>
+ <label>cursorBlink <input type="checkbox" id="option-cursor-blink"></label>
</p>
<p>
- <label>Scrollback <input type="number" id="option-scrollback" value="1000" /></label>
+ <label>scrollback <input type="number" id="option-scrollback" value="1000" /></label>
+ </p>
+ <p>
+ <label>tabStopWidth <input type="number" id="option-tabstopwidth" value="4" /></label>
</p>
<div>
<h3>Size</h3>
var terminalContainer = document.getElementById('terminal-container'),
optionElements = {
cursorBlink: document.querySelector('#option-cursor-blink'),
- scrollback: document.querySelector('#option-scrollback')
+ scrollback: document.querySelector('#option-scrollback'),
+ tabstopwidth: document.querySelector('#option-tabstopwidth')
},
colsElement = document.getElementById('cols'),
rowsElement = document.getElementById('rows');
term.setOption('cursorBlink', optionElements.cursorBlink.checked);
});
optionElements.scrollback.addEventListener('change', function () {
- terminal.setOption('scrollback', parseInt(optionElements.scrollback.value, 10));
+ term.setOption('scrollback', parseInt(optionElements.scrollback.value, 10));
+});
+optionElements.tabstopwidth.addEventListener('change', function () {
+ term.setOption('tabStopWidth', parseInt(optionElements.tabstopwidth.value));
+ term.setupStops();
});
createTerminal();
}
term = new Terminal({
cursorBlink: optionElements.cursorBlink.checked,
- scrollback: parseInt(optionElements.scrollback.value, 10)
+ scrollback: parseInt(optionElements.scrollback.value, 10),
+ tabStopWidth: parseInt(optionElements.tabstopwidth.value)
});
term.on('resize', function (size) {
if (!pid) {