@dao42/d42paas-front 0.5.47 → 0.5.48
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 +6 -5
- package/dist/DaoPaaS.umd.js +164 -164
- package/dist/editor.d.ts +4 -3
- package/dist/index.html +6 -3
- package/dist/tsdoc.html +1 -2
- package/package.json +3 -2
package/dist/DaoPaaS.es.js
CHANGED
|
@@ -40913,6 +40913,9 @@ class DaoPaaS {
|
|
|
40913
40913
|
get playgroundStatus() {
|
|
40914
40914
|
return this.otstore.playgroundStatus;
|
|
40915
40915
|
}
|
|
40916
|
+
get dockerStatus() {
|
|
40917
|
+
return this.otstore.dockerStatus;
|
|
40918
|
+
}
|
|
40916
40919
|
get ignoreReplayers() {
|
|
40917
40920
|
return ignoreReplayerStore.getState().ignoreReplayers;
|
|
40918
40921
|
}
|
|
@@ -186590,7 +186593,9 @@ const Editor = ({
|
|
|
186590
186593
|
useValue.getState();
|
|
186591
186594
|
if (!CRDTInfo.editor || CRDTInfo.editor.evtType !== "Editor")
|
|
186592
186595
|
return;
|
|
186593
|
-
|
|
186596
|
+
if (oTStore.getState().appStatus === "replay" && ignoreReplayerStore.getState().ignoreReplayers.some((d2) => d2 === "editor")) {
|
|
186597
|
+
return;
|
|
186598
|
+
}
|
|
186594
186599
|
if (editor && ((doc2 == null ? void 0 : doc2.path) === ((_a2 = CRDTInfo == null ? void 0 : CRDTInfo.file) == null ? void 0 : _a2.path) || ((_b2 = CRDTInfo == null ? void 0 : CRDTInfo.file) == null ? void 0 : _b2.path) === "singleFile")) {
|
|
186595
186600
|
const server_operation = CRDTInfo.editor.operation;
|
|
186596
186601
|
const CLIENT_OPERATION = receiveOperation(CRDTInfo.editor.revision, TextOperation.fromJSON(server_operation), (_c2 = CRDTInfo == null ? void 0 : CRDTInfo.file) == null ? void 0 : _c2.path);
|
|
@@ -186750,10 +186755,6 @@ const Editor = ({
|
|
|
186750
186755
|
}
|
|
186751
186756
|
}, [file == null ? void 0 : file.path]);
|
|
186752
186757
|
react.exports.useEffect(() => {
|
|
186753
|
-
if (!!editor && (doc == null ? void 0 : doc.type)) {
|
|
186754
|
-
editor$1.setModelLanguage(editor.getModel(), doc == null ? void 0 : doc.type);
|
|
186755
|
-
editor.setValue(doc.value ? doc.value : "");
|
|
186756
|
-
}
|
|
186757
186758
|
}, [doc]);
|
|
186758
186759
|
react.exports.useEffect(() => {
|
|
186759
186760
|
const {
|