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

Fix demo pty size

Browse Source
This commit is contained in:
Daniel Imms
2017-09-01 21:36:20 -07:00
parent b0653fec68
commit 5cd189e2e0
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
demo/main.js
+3 -3
View File
@@ -97,10 +97,10 @@ function createTerminal() {
colsElement.value = term.cols;
rowsElement.value = term.rows;
fetch('/terminals?cols=' + cols + '&rows=' + rows, {method: 'POST'}).then(function (res) {
fetch('/terminals?cols=' + term.cols + '&rows=' + term.rows, {method: 'POST'}).then(function (res) {
charWidth = Math.ceil(term.element.offsetWidth / cols);
charHeight = Math.ceil(term.element.offsetHeight / rows);
charWidth = Math.ceil(term.element.offsetWidth / term.cols);
charHeight = Math.ceil(term.element.offsetHeight / term.rows);
res.text().then(function (pid) {
window.pid = pid;