@dao42/d42paas-front 0.7.12 → 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 +7 -20
- package/dist/DaoPaaS.umd.js +20 -20
- package/package.json +1 -1
package/dist/DaoPaaS.es.js
CHANGED
|
@@ -190154,8 +190154,8 @@ const Editor = ({
|
|
|
190154
190154
|
editor.setModel(gotModel);
|
|
190155
190155
|
clientEditor == null ? void 0 : clientEditor.updateModel();
|
|
190156
190156
|
setFileTreeStack(EditorData.fileTreeStack);
|
|
190157
|
-
clientEditor.onFocus();
|
|
190158
|
-
clientEditor.onCursorActivity();
|
|
190157
|
+
clientEditor == null ? void 0 : clientEditor.onFocus();
|
|
190158
|
+
clientEditor == null ? void 0 : clientEditor.onCursorActivity();
|
|
190159
190159
|
otherClients == null ? void 0 : otherClients.setCursors();
|
|
190160
190160
|
if (file2) {
|
|
190161
190161
|
docServer.set(file2.path, {
|
|
@@ -197789,7 +197789,7 @@ const TerminalComponent = (_h2) => {
|
|
|
197789
197789
|
var _a2, _b2, _c2, _d2;
|
|
197790
197790
|
const CRDTInfo22 = JSON.parse(d2);
|
|
197791
197791
|
const crdt = CRDTInfo22.terminal;
|
|
197792
|
-
if (
|
|
197792
|
+
if (crdt) {
|
|
197793
197793
|
if (((_a2 = crdt == null ? void 0 : crdt.doc) == null ? void 0 : _a2.action) === "Get") {
|
|
197794
197794
|
initTerminalText(terminal, ((_b2 = crdt == null ? void 0 : crdt.doc) == null ? void 0 : _b2.value) || "");
|
|
197795
197795
|
return;
|
|
@@ -197800,25 +197800,12 @@ 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
|
-
const timer = setTimeout(() => {
|
|
197804
|
-
helperContainer == null ? void 0 : helperContainer.removeChild(userLabel);
|
|
197805
|
-
terminal.setOption("theme", __spreadProps(__spreadValues({}, terminal.getOption("theme")), {
|
|
197806
|
-
cursor: "#ffffff"
|
|
197807
|
-
}));
|
|
197808
|
-
}, 6e3);
|
|
197809
|
-
return () => {
|
|
197810
|
-
try {
|
|
197811
|
-
helperContainer == null ? void 0 : helperContainer.removeChild(userLabel);
|
|
197812
|
-
} catch (_2) {
|
|
197813
|
-
}
|
|
197814
|
-
terminal.setOption("theme", __spreadProps(__spreadValues({}, terminal.getOption("theme")), {
|
|
197815
|
-
cursor: "#ffffff"
|
|
197816
|
-
}));
|
|
197817
|
-
clearTimeout(timer);
|
|
197818
|
-
};
|
|
197819
197803
|
}
|
|
197820
197804
|
});
|
|
197821
|
-
|
|
197805
|
+
return () => {
|
|
197806
|
+
socket2 == null ? void 0 : socket2.off("terminal");
|
|
197807
|
+
};
|
|
197808
|
+
}, [terminal, socket2]);
|
|
197822
197809
|
return /* @__PURE__ */ jsx(FollowLayout, {
|
|
197823
197810
|
name: "terminal",
|
|
197824
197811
|
children: /* @__PURE__ */ jsx("div", {
|