waveterm/xterm.js
0
0
Fork 0
mirror of https://github.com/wavetermdev/xterm.js.git synced 2026-08-05 13:43:48 -07:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #1542 from nikonso/recreate-terminal

Browse Source 
Add recreate terminal after disposing to the demo
This commit is contained in:
Daniel Imms
2018-07-02 09:13:16 -07:00
committed by GitHub
parent 38debf77f8 ed58c42513
commit 4557f857f7
1 changed files with 29 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files
demo/main.js
+29 -21
View File
@@ -35,20 +35,22 @@ function setPadding() {
createTerminal();
addDomListener(paddingElement, 'change', setPadding);
const disposeRecreateButtonHandler = () => {
// If the terminal exists dispose of it, otherwise recreate it
if (term) {
term.dispose();
term = null;
window.term = null;
socket = null;
document.getElementById('dispose').innerHTML = 'Recreate Terminal';
}
else {
createTerminal();
document.getElementById('dispose').innerHTML = 'Dispose terminal';
}
};
addDomListener(actionElements.findNext, 'keypress', function (e) {
if (e.key === "Enter") {
e.preventDefault();
term.findNext(actionElements.findNext.value);
}
});
addDomListener(actionElements.findPrevious, 'keypress', function (e) {
if (e.key === "Enter") {
e.preventDefault();
term.findPrevious(actionElements.findPrevious.value);
}
});
document.getElementById('dispose').addEventListener('click', disposeRecreateButtonHandler);
function createTerminal() {
// Clean terminal
@@ -76,14 +78,20 @@ function createTerminal() {
term.fit();
term.focus();
const buttonHandler = () => {
term.dispose();
term = null;
window.term = null;
socket = null;
document.getElementById('dispose').removeEventListener('click', buttonHandler);
};
document.getElementById('dispose').addEventListener('click', buttonHandler);
addDomListener(paddingElement, 'change', setPadding);
addDomListener(actionElements.findNext, 'keypress', function (e) {
if (e.key === "Enter") {
e.preventDefault();
term.findNext(actionElements.findNext.value);
}
});
addDomListener(actionElements.findPrevious, 'keypress', function (e) {
if (e.key === "Enter") {
e.preventDefault();
term.findPrevious(actionElements.findPrevious.value);
}
});
// fit is called within a setTimeout, cols and rows need this.
setTimeout(function () {