@dao42/d42paas-front 0.7.16 → 0.7.17
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/dist/DaoPaaS.es.js +0 -19
- package/dist/DaoPaaS.umd.js +20 -20
- package/package.json +1 -1
package/dist/DaoPaaS.es.js
CHANGED
|
@@ -197800,25 +197800,6 @@ const TerminalComponent = (_h2) => {
|
|
|
197800
197800
|
userLabel.style.top = childNode.style.top;
|
|
197801
197801
|
userLabel.style.left = childNode.style.left;
|
|
197802
197802
|
helperContainer == null ? void 0 : helperContainer.appendChild(userLabel);
|
|
197803
|
-
let timer;
|
|
197804
|
-
if (terminal) {
|
|
197805
|
-
timer = setTimeout(() => {
|
|
197806
|
-
helperContainer == null ? void 0 : helperContainer.removeChild(userLabel);
|
|
197807
|
-
terminal.setOption("theme", __spreadProps(__spreadValues({}, terminal.getOption("theme")), {
|
|
197808
|
-
cursor: "#ffffff"
|
|
197809
|
-
}));
|
|
197810
|
-
}, 6e3);
|
|
197811
|
-
return () => {
|
|
197812
|
-
try {
|
|
197813
|
-
helperContainer == null ? void 0 : helperContainer.removeChild(userLabel);
|
|
197814
|
-
} catch (_2) {
|
|
197815
|
-
}
|
|
197816
|
-
terminal.setOption("theme", __spreadProps(__spreadValues({}, terminal.getOption("theme")), {
|
|
197817
|
-
cursor: "#ffffff"
|
|
197818
|
-
}));
|
|
197819
|
-
clearTimeout(timer);
|
|
197820
|
-
};
|
|
197821
|
-
}
|
|
197822
197803
|
}
|
|
197823
197804
|
});
|
|
197824
197805
|
return () => {
|