tabminal 3.0.31 → 3.0.33
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/package.json +1 -1
- package/public/app.js +17 -3
package/package.json
CHANGED
package/public/app.js
CHANGED
|
@@ -139,8 +139,8 @@ const HEARTBEAT_INTERVAL_MS = 1000;
|
|
|
139
139
|
const RECONNECT_RETRY_MS = 5000;
|
|
140
140
|
const FILE_TREE_REFRESH_INTERVAL_MS = 3000;
|
|
141
141
|
const FILE_VERSION_CHECK_INTERVAL_MS = 3000;
|
|
142
|
-
const AGENT_TRANSCRIPT_INITIAL_VISIBLE_BLOCKS =
|
|
143
|
-
const AGENT_TRANSCRIPT_WINDOW_STEP =
|
|
142
|
+
const AGENT_TRANSCRIPT_INITIAL_VISIBLE_BLOCKS = 30;
|
|
143
|
+
const AGENT_TRANSCRIPT_WINDOW_STEP = 10;
|
|
144
144
|
const AGENT_TRANSCRIPT_FOLLOW_LATEST_TOLERANCE = 5;
|
|
145
145
|
const AGENT_TRANSCRIPT_RENDER_DEBOUNCE_MS = 300;
|
|
146
146
|
const AGENT_TRANSCRIPT_AUTH_SYNC_DEBOUNCE_MS = 300;
|
|
@@ -9485,6 +9485,9 @@ class Session {
|
|
|
9485
9485
|
if (progressLabel) {
|
|
9486
9486
|
metaProgressEl.textContent = progressLabel;
|
|
9487
9487
|
metaProgressEl.hidden = false;
|
|
9488
|
+
if (metaTimeEl) {
|
|
9489
|
+
metaTimeEl.hidden = true;
|
|
9490
|
+
}
|
|
9488
9491
|
const tone = getTerminalProgressTone(this.terminalProgress);
|
|
9489
9492
|
if (tone) {
|
|
9490
9493
|
metaProgressEl.dataset.tone = tone;
|
|
@@ -9494,6 +9497,9 @@ class Session {
|
|
|
9494
9497
|
} else {
|
|
9495
9498
|
metaProgressEl.textContent = '';
|
|
9496
9499
|
metaProgressEl.hidden = true;
|
|
9500
|
+
if (metaTimeEl) {
|
|
9501
|
+
metaTimeEl.hidden = false;
|
|
9502
|
+
}
|
|
9497
9503
|
delete metaProgressEl.dataset.tone;
|
|
9498
9504
|
}
|
|
9499
9505
|
}
|
|
@@ -9794,7 +9800,15 @@ class Session {
|
|
|
9794
9800
|
|
|
9795
9801
|
const textarea = this.mainTerm.textarea
|
|
9796
9802
|
|| root.querySelector('textarea');
|
|
9797
|
-
const handler = () =>
|
|
9803
|
+
const handler = (event) => {
|
|
9804
|
+
this.claimTerminalControl();
|
|
9805
|
+
if (
|
|
9806
|
+
event?.type === 'touchstart'
|
|
9807
|
+
&& this.isMainTerminalVisible()
|
|
9808
|
+
) {
|
|
9809
|
+
this.mainTerm.focus();
|
|
9810
|
+
}
|
|
9811
|
+
};
|
|
9798
9812
|
|
|
9799
9813
|
root.addEventListener('mousedown', handler, true);
|
|
9800
9814
|
root.addEventListener('touchstart', handler, true);
|