@hheei/pi-apply-patch 0.3.1 → 0.3.2
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/apply-patch/tool.js +4 -2
- package/package.json +2 -2
package/dist/apply-patch/tool.js
CHANGED
|
@@ -178,8 +178,10 @@ export function createApplyPatchTool() {
|
|
|
178
178
|
throw new Error(`apply_patch failed: ${message}`);
|
|
179
179
|
}
|
|
180
180
|
finally {
|
|
181
|
-
// The
|
|
182
|
-
//
|
|
181
|
+
// The last operation usually lands inside an open window, so the trailing snapshot is
|
|
182
|
+
// delivered before the window closes; the result below is then the only authority for
|
|
183
|
+
// the finished call, and a repaint after it would rewrite a settled body.
|
|
184
|
+
repaint.flush();
|
|
183
185
|
repaint.dispose();
|
|
184
186
|
}
|
|
185
187
|
},
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@hheei/pi-apply-patch",
|
|
3
|
-
"version": "0.3.
|
|
3
|
+
"version": "0.3.2",
|
|
4
4
|
"description": "V4A apply_patch editing tool with worker matching and per-path publishing.",
|
|
5
5
|
"type": "module",
|
|
6
6
|
"main": "dist/index.js",
|
|
@@ -36,7 +36,7 @@
|
|
|
36
36
|
"access": "public"
|
|
37
37
|
},
|
|
38
38
|
"dependencies": {
|
|
39
|
-
"@hheei/pi-ext-core": "^0.
|
|
39
|
+
"@hheei/pi-ext-core": "^0.7.0",
|
|
40
40
|
"diff": "^9.0.0"
|
|
41
41
|
},
|
|
42
42
|
"peerDependencies": {
|