@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.
@@ -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 (terminal && crdt) {
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
- }, [socket2]);
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", {