@hydranium/glsp-server 1.0.0-next.317 → 1.0.0-next.319

package/lib/submission/hydranium-glsp-submission-handler.js.map

@@ -1 +1 @@
-{"version":3,"file":"hydranium-glsp-submission-handler.js","sourceRoot":"","sources":["../../src/submission/hydranium-glsp-submission-handler.ts"],"names":[],"mappings":"AAAA;;;;;;;kFAOkF;;;;;;;;;;AAElF,OAAO,EAKJ,aAAa,EACb,UAAU,EACV,sBAAsB,EAEtB,mBAAmB,EACnB,gBAAgB,EAElB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAE/C,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAE7D,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAE3D;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEI,IAAM,8BAA8B,GAApC,MAAM,8BAA6E,SAAQ,sBAAsB;IAGrH;;;;;;OAMG;IACO,UAAU,GAA8B,gBAAgB,CAAC,YAAY,CAAC;IAEhF;;;;;;;;;OASG;IACH,wBAAwB;QACrB,OAAO,IAAI,CAAC,kBAAkB,KAAK,SAAS,CAAC;IAChD,CAAC;IAEQ,KAAK,CAAC,WAAW,CAAC,MAA+B,EAAE,MAAwB;QACjF,+DAA+D;QAC/D,MAAM,UAAU,GAAG,EAAE,IAAI,CAAC,mBAAmB,CAAC;QAC9C,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YACjC,8EAA8E;YAC9E,+EAA+E;YAC/E,8EAA8E;YAC9E,wBAAwB;YACxB,MAAM,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAChD,CAAC;QACD,MAAM,SAAS,GAAG,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACpD,2EAA2E;QAC3E,2CAA2C;QAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC;QAChD,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC;QAChC,IAAI,CAAC,kBAAkB,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,uBAAuB,EAAE,QAAQ,EAAE,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAC5G,IAAI,CAAC,uBAAuB,GAAG,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;QACzD,IAAI,CAAC,qBAAqB,GAAG,QAAQ,CAAC;QACtC,IAAI,CAAC,uBAAuB,GAAG,UAAU,CAAC;QAC1C,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAChC,OAAO,OAAO,CAAC;IAClB,CAAC;IAED;;;;;;;;OAQG;IACH,IAAI,sBAAsB;QACvB,OAAO,IAAI,CAAC,uBAAuB,CAAC;IACvC,CAAC;IAES,uBAAuB,CAAU;IAE3C,mEAAmE;IACzD,qBAAqB,CAAU;IAEzC;;;;OAIG;IACH,IAAI,kBAAkB;QACnB,OAAO,IAAI,CAAC,mBAAmB,CAAC;IACnC,CAAC;IAES,mBAAmB,GAAG,CAAC,CAAC;IAElC,wDAAwD;IAC9C,uBAAuB,CAAU;IAE3C,oDAAoD;IAC1C,kBAAkB,CAA+D;IAE3F;;;;;;;;;;;;OAYG;IACH,sBAAsB,CAAC,UAAkB;QACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC;QACzC,IAAI,CAAC,QAAQ,IAAI,UAAU,KAAK,IAAI,CAAC,uBAAuB,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,KAAK,IAAI,CAAC,qBAAqB,EAAE,CAAC;YAC7H,OAAO;QACV,CAAC;QACD,IAAI,CAAC,kBAAkB,GAAG,SAAS,CAAC;QACpC,IAAI,CAAC,uBAAuB,GAAG,QAAQ,CAAC,SAAS,CAAC;QAClD,IAAI,CAAC,qBAAqB,GAAG,QAAQ,CAAC,QAAQ,CAAC;QAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAClC,IAAI,IAAI,IAAI,QAAQ,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3C,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC;QACrC,CAAC;IACJ,CAAC;IAED;;;;;;;;OAQG;IACgB,KAAK,CAAC,qBAAqB,CAAC,SAAyB;QACrE,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,aAAa,CAAC,UAAU,EAAE,EAAE,OAAO,EAAE,mBAAmB,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;QACxG,IAAI,CAAC;YACF,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC;YACrF,MAAM,IAAI,CAAC,gBAAgB;iBACvB,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC;iBAC1E,KAAK,CAAC,CAAC,KAAc,EAAE,EAAE,CACvB,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,+CAA+C,sBAAsB,CAAC,KAAK,CAAC,EAAE,CAAC,CAC7G,CAAC;QACR,CAAC;QAAC,OAAO,KAAc,EAAE,CAAC;YACvB,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,2BAA2B,sBAAsB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC5F,CAAC;gBAAS,CAAC;YACR,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,aAAa,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QAClE,CAAC;IACJ,CAAC;IAED;;;;;;;;;;;;;;;;;;OAkBG;IACO,WAAW,CAAC,OAAiB;QACpC,OAAO,IAAI,CAAC,SAAS,CAClB,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,mBAAmB,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,EACzD,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,WAAW,IAAI,GAAG,KAAK,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CACjF,CAAC;IACL,CAAC;IAED;;;;OAIG;IACgB,mBAAmB,CAAC,OAAyB;QAC7D,MAAM,MAAM,GAAG,KAAK,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;QAClD,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CACxB,yDAAyD,MAAM,CAAC,UAAU,IAAI,GAAG,sCAAsC,CACzH,CAAC;QACF,OAAO,MAAM,CAAC;IACjB,CAAC;IAES,SAAS,CAAC,MAA0C,EAAE,OAAiB;QAC9E,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAClC,MAAM,SAAS,GAAG,IAAI,EAAE,QAAQ,EAAE,MAAM,IAAI,CAAC,CAAC;QAC9C,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;QAC9C,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjD,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CACzB,wBAAwB,MAAM,IAAI,SAAS,cAAc,KAAK,KAAK;YAChE,gBAAgB,IAAI,EAAE,IAAI,IAAI,MAAM,cAAc,SAAS,KAAK;YAChE,QAAQ,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,IAAI,CAClD,CAAC;IACL,CAAC;IAED;;;;;OAKG;IACO,gBAAgB,CAAC,IAAuB;QAC/C,OAAO,IAAI,EAAE,KAAK,IAAI,MAAM,CAAC;IAChC,CAAC;CACH,CAAA;AAnMwC;IAArC,MAAM,CAAC,UAAU,CAAC;;kEAA+E;AADxF,8BAA8B;IAD1C,UAAU,EAAE;GACA,8BAA8B,CAoM1C"}
+{"version":3,"file":"hydranium-glsp-submission-handler.js","sourceRoot":"","sources":["../../src/submission/hydranium-glsp-submission-handler.ts"],"names":[],"mappings":"AAAA;;;;;;;kFAOkF;;;;;;;;;;AAElF,OAAO,EAEJ,oBAAoB,EAIpB,aAAa,EACb,UAAU,EACV,sBAAsB,EAEtB,mBAAmB,EACnB,gBAAgB,EAElB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAE/C,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAE7D,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAE3D;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEI,IAAM,8BAA8B,GAApC,MAAM,8BAA6E,SAAQ,sBAAsB;IAEpE,cAAc,CAAwB;IAEvF;;;;;;OAMG;IACO,UAAU,GAA8B,gBAAgB,CAAC,YAAY,CAAC;IAEhF;;;;;;;;;OASG;IACH,wBAAwB;QACrB,OAAO,IAAI,CAAC,kBAAkB,KAAK,SAAS,CAAC;IAChD,CAAC;IAEQ,KAAK,CAAC,WAAW,CAAC,MAA+B,EAAE,MAAwB;QACjF,+DAA+D;QAC/D,MAAM,UAAU,GAAG,EAAE,IAAI,CAAC,mBAAmB,CAAC;QAC9C,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YACjC,8EAA8E;YAC9E,+EAA+E;YAC/E,8EAA8E;YAC9E,wBAAwB;YACxB,MAAM,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAChD,CAAC;QACD,MAAM,SAAS,GAAG,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACpD,2EAA2E;QAC3E,2CAA2C;QAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC;QAChD,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC;QAChC,IAAI,CAAC,kBAAkB,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,uBAAuB,EAAE,QAAQ,EAAE,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAC5G,IAAI,CAAC,uBAAuB,GAAG,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;QACzD,IAAI,CAAC,qBAAqB,GAAG,QAAQ,CAAC;QACtC,IAAI,CAAC,uBAAuB,GAAG,UAAU,CAAC;QAC1C,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAChC,OAAO,OAAO,CAAC;IAClB,CAAC;IAED;;;;;;;;OAQG;IACH,IAAI,sBAAsB;QACvB,OAAO,IAAI,CAAC,uBAAuB,CAAC;IACvC,CAAC;IAES,uBAAuB,CAAU;IAE3C,mEAAmE;IACzD,qBAAqB,CAAU;IAEzC;;;;OAIG;IACH,IAAI,kBAAkB;QACnB,OAAO,IAAI,CAAC,mBAAmB,CAAC;IACnC,CAAC;IAES,mBAAmB,GAAG,CAAC,CAAC;IAElC,wDAAwD;IAC9C,uBAAuB,CAAU;IAE3C,oDAAoD;IAC1C,kBAAkB,CAA+D;IAE3F;;;;;;;;;;;;OAYG;IACH,sBAAsB,CAAC,UAAkB;QACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC;QACzC,IAAI,CAAC,QAAQ,IAAI,UAAU,KAAK,IAAI,CAAC,uBAAuB,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,KAAK,IAAI,CAAC,qBAAqB,EAAE,CAAC;YAC7H,OAAO;QACV,CAAC;QACD,IAAI,CAAC,kBAAkB,GAAG,SAAS,CAAC;QACpC,IAAI,CAAC,uBAAuB,GAAG,QAAQ,CAAC,SAAS,CAAC;QAClD,IAAI,CAAC,qBAAqB,GAAG,QAAQ,CAAC,QAAQ,CAAC;QAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAClC,IAAI,IAAI,IAAI,QAAQ,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3C,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC;QACrC,CAAC;IACJ,CAAC;IAED;;;;;;;;;;;;OAYG;IACgB,KAAK,CAAC,qBAAqB,CAAC,SAAyB;QACrE,IAAI,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC;YACvB,OAAO;QACV,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,aAAa,CAAC,UAAU,EAAE,EAAE,OAAO,EAAE,mBAAmB,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;QACxG,IAAI,CAAC;YACF,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC;YACrF,MAAM,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,KAAc,EAAE,EAAE;gBAC7H,MAAM,OAAO,GAAG,+CAA+C,sBAAsB,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC/F,IAAI,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC;oBACvB,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBACzC,CAAC;qBAAM,CAAC;oBACL,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACxC,CAAC;YACJ,CAAC,CAAC,CAAC;QACN,CAAC;QAAC,OAAO,KAAc,EAAE,CAAC;YACvB,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,2BAA2B,sBAAsB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC5F,CAAC;gBAAS,CAAC;YACR,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,aAAa,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QAClE,CAAC;IACJ,CAAC;IAED;;;;OAIG;IACO,YAAY;QACnB,OAAO,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,gBAAgB,KAAK,IAAI,CAAC,gBAAgB,CAAC;IAC/G,CAAC;IAED;;;;;;;;;;;;;;;;;;OAkBG;IACO,WAAW,CAAC,OAAiB;QACpC,OAAO,IAAI,CAAC,SAAS,CAClB,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,mBAAmB,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,EACzD,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,WAAW,IAAI,GAAG,KAAK,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CACjF,CAAC;IACL,CAAC;IAED;;;;OAIG;IACgB,mBAAmB,CAAC,OAAyB;QAC7D,MAAM,MAAM,GAAG,KAAK,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;QAClD,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CACxB,yDAAyD,MAAM,CAAC,UAAU,IAAI,GAAG,sCAAsC,CACzH,CAAC;QACF,OAAO,MAAM,CAAC;IACjB,CAAC;IAES,SAAS,CAAC,MAA0C,EAAE,OAAiB;QAC9E,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAClC,MAAM,SAAS,GAAG,IAAI,EAAE,QAAQ,EAAE,MAAM,IAAI,CAAC,CAAC;QAC9C,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;QAC9C,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjD,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CACzB,wBAAwB,MAAM,IAAI,SAAS,cAAc,KAAK,KAAK;YAChE,gBAAgB,IAAI,EAAE,IAAI,IAAI,MAAM,cAAc,SAAS,KAAK;YAChE,QAAQ,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,IAAI,CAClD,CAAC;IACL,CAAC;IAED;;;;;OAKG;IACO,gBAAgB,CAAC,IAAuB;QAC/C,OAAO,IAAI,EAAE,KAAK,IAAI,MAAM,CAAC;IAChC,CAAC;CACH,CAAA;AAvNwC;IAArC,MAAM,CAAC,UAAU,CAAC;;kEAA+E;AACjD;IAAhD,MAAM,CAAC,oBAAoB,CAAC;;sEAA0D;AAF7E,8BAA8B;IAD1C,UAAU,EAAE;GACA,8BAA8B,CAwN1C"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@hydranium/glsp-server",
-  "version": "1.0.0-next.317",
+  "version": "1.0.0-next.319",
   "description": "GLSP protocol head for the hydranium framework. Peer of @hydranium/core/lsp and @hydranium/data-server; built on @hydranium/core.",
   "keywords": [
     "diagram",
@@ -70,9 +70,9 @@
   },
   "devDependencies": {
     "@eclipse-glsp/server": "2.7.0",
-    "@hydranium/core": "1.0.0-next.317",
-    "@hydranium/langium": "1.0.0-next.317",
-    "@hydranium/protocol": "1.0.0-next.317",
+    "@hydranium/core": "1.0.0-next.319",
+    "@hydranium/langium": "1.0.0-next.319",
+    "@hydranium/protocol": "1.0.0-next.319",
     "inversify": "6.2.2",
     "reflect-metadata": "0.2.2",
     "rimraf": "^5.0.0",
@@ -82,9 +82,9 @@
   },
   "peerDependencies": {
     "@eclipse-glsp/server": "^2.6.0",
-    "@hydranium/core": "1.0.0-next.317",
-    "@hydranium/langium": "1.0.0-next.317",
-    "@hydranium/protocol": "1.0.0-next.317",
+    "@hydranium/core": "1.0.0-next.319",
+    "@hydranium/langium": "1.0.0-next.319",
+    "@hydranium/protocol": "1.0.0-next.319",
     "inversify": "^6.0.0",
     "reflect-metadata": "^0.2.2",
     "vscode-jsonrpc": "^9.0.0",

package/src/command/hydranium-glsp-command-stack.ts

@@ -7,15 +7,18 @@
  * SPDX-License-Identifier: MIT
  ********************************************************************************/
 
-import { DefaultCommandStack, ModelState } from '@eclipse-glsp/server';
+import { type Command, CompoundCommand, DefaultCommandStack, ModelState } from '@eclipse-glsp/server';
 import { type ServerSharedServices } from '@hydranium/core';
 import { inject, injectable } from 'inversify';
 import { HydraniumTypes } from '../state/hydranium-shared-core-services.js';
+import { isCommandArray } from './hydranium-glsp-operation-command.js';
+import { HydraniumGlspRecordingCommand } from './hydranium-glsp-recording-command.js';
 
 /**
  * GLSP's command stack with the diagram's dirty state read from the text store:
  * dirty while any document the diagram's client session has open differs from
- * its file, as the store last knew the file. Undo and redo are GLSP's.
+ * its file, as the store last knew the file. Undo and redo are GLSP's; a
+ * command whose every write was dropped is not pushed.
  *
  * GLSP's own answer counts the diagram's commands since its last save, so it
  * misses every change the diagram did not make: another client's unsaved edit
@@ -34,6 +37,43 @@ export class HydraniumGlspCommandStack extends DefaultCommandStack {
       return textDocuments.openDocuments().some(open => open.clients.includes(clientId) && textDocuments.isDirty(open.uri));
    }
 
+   /**
+    * Lifted from `@eclipse-glsp/server` 2.7.0's `DefaultCommandStack.execute`,
+    * pushing no entry for a recording command executed outside an operation
+    * whose write was dropped, or a `CompoundCommand` of only such commands at
+    * any depth: its undo would do nothing, and the user's next undo would be
+    * spent on it. A compound that also changed something is pushed, warning
+    * that its undo step leaves out what was dropped. The accompanying test
+    * pins upstream's source.
+    */
+   override async execute(command: Command): Promise<void> {
+      try {
+         await command.execute();
+      } catch (error: unknown) {
+         this.handleError(error);
+      }
+      const leaves = leavesOf(command);
+      const dropped = leaves.filter(leaf => leaf instanceof HydraniumGlspRecordingCommand && leaf.dropped).length;
+      if (dropped > 0 && dropped === leaves.length) {
+         return;
+      }
+      if (dropped > 0) {
+         this.logger.warn(
+            `${dropped} of ${leaves.length} commands of a compound executed outside an operation had their write dropped, ` +
+               'so its undo step leaves them out; execute them in one operation to write and undo them as one'
+         );
+      }
+      // Clear the command list past the top (i.e. the old redo list)
+      this.commands = this.commands.slice(0, this.top + 1);
+      this.commands.push(command);
+      ++this.top;
+      // if the saveIndex points to the old redo list we can never reach a state again
+      // where save is not necessary. => ensure that `isDirty` always returns true
+      if (this.saveIndex >= this.top) {
+         this.saveIndex = -2;
+      }
+   }
+
    /**
     * Lifted from `@eclipse-glsp/server` 2.7.0's `DefaultCommandStack.handleError`
     * without its `error` line: the failure is rethrown, and whoever ends it
@@ -45,3 +85,13 @@ export class HydraniumGlspCommandStack extends DefaultCommandStack {
       throw error;
    }
 }
+
+/**
+ * The commands `command` executes: itself, or a `CompoundCommand`'s children
+ * at any depth, read from GLSP's protected `CompoundCommand.commands`, as the
+ * operation reads them.
+ */
+function leavesOf(command: Command): Command[] {
+   const children: unknown = command instanceof CompoundCommand ? Reflect.get(command, 'commands') : undefined;
+   return isCommandArray(children) ? children.flatMap(leavesOf) : [command];
+}

package/src/command/hydranium-glsp-operation-command.ts

@@ -61,6 +61,7 @@ export interface OperationInternals {
    recordWrittenRoot(root: AstNode): void;
    recordDropped(current: AstNode | undefined): void;
    recordExecuted(step: OperationSideEffect): void;
+   isUndoingOrRedoing(): boolean;
    assertNotDuringUndoRedo(label: string): void;
    amendBefore(update: (before: AnyObject) => AnyObject): void;
 }
@@ -84,6 +85,39 @@ export function openOperationOf(state: object): OperationInternals | undefined {
    return openOperations.get(state);
 }
 
+/**
+ * How many operations an undo or redo skipped and applied, as one command-stack
+ * entry, a compound executed outside an operation, can undo several.
+ */
+export interface UndoRedoTally {
+   skipped: number;
+   applied: number;
+}
+
+/** The tally of each state's undo or redo, until {@link takeUndoRedoTally} reads it. */
+const undoRedoTallies = new WeakMap<object, UndoRedoTally>();
+
+function tallyOf(state: object): UndoRedoTally {
+   let tally = undoRedoTallies.get(state);
+   if (!tally) {
+      tally = { skipped: 0, applied: 0 };
+      undoRedoTallies.set(state, tally);
+   }
+   return tally;
+}
+
+/**
+ * The operations undone or redone on `state` since the last call, skipped and
+ * applied, for the handler that ran the undo or redo to tell the client: GLSP's
+ * command stack takes no answer from an undo, and moves past a skipped one as
+ * past any other.
+ */
+export function takeUndoRedoTally(state: object): UndoRedoTally {
+   const tally = undoRedoTallies.get(state) ?? { skipped: 0, applied: 0 };
+   undoRedoTallies.delete(state);
+   return tally;
+}
+
 /** Run `operation` as {@link HydraniumGlspOperationCommand} describes. */
 export function runOperation<TSourceModel extends AnyObject>(
    operation: HydraniumGlspOperationCommand<TSourceModel>,
@@ -172,6 +206,7 @@ export class HydraniumGlspOperationCommand<TSourceModel extends AnyObject = AnyO
                this.before = update(this.before) as TSourceModel;
             }
          },
+         isUndoingOrRedoing: () => this.undoingOrRedoing,
          assertNotDuringUndoRedo: label => {
             if (this.undoingOrRedoing) {
                throw new Error(
@@ -411,8 +446,9 @@ export class HydraniumGlspOperationCommand<TSourceModel extends AnyObject = AnyO
    /**
     * Resolve the transition onto the current model, run the commands' side
     * effects, then write once, gated on the versions the model was read at. A
-    * collision does nothing but warn; a transition with nothing left to apply,
-    * or one the model already holds, still runs the side effects.
+    * collision does nothing but warn; a transition with nothing left to
+    * apply, or one the model already holds, still runs the side effects. Either
+    * way the outcome is counted for {@link takeUndoRedoTally}.
     *
     * The caller holds `runExclusive`, which nothing here takes again.
     */
@@ -438,10 +474,12 @@ export class HydraniumGlspOperationCommand<TSourceModel extends AnyObject = AnyO
             this.modelState.logger.warn(
                `${direction === 'undo' ? 'Undo' : 'Redo'} of an operation skipped (${outcome.status}); a foreign edit changed a shared field`
             );
+            tallyOf(this.modelState).skipped++;
             return;
          }
       }
       await this.undoOrRedoSideEffects(direction, merged);
+      tallyOf(this.modelState).applied++;
    }
 
    /**
@@ -597,6 +635,7 @@ export class HydraniumGlspOperationCommand<TSourceModel extends AnyObject = AnyO
    }
 }
 
-function isCommandArray(value: unknown): value is Command[] {
+/** Whether `value` is a list of commands, as a `CompoundCommand` holds its children. */
+export function isCommandArray(value: unknown): value is Command[] {
    return Array.isArray(value) && value.every(element => typeof element === 'object' && element !== null && 'execute' in element);
 }

package/src/command/hydranium-glsp-recording-command.ts

@@ -48,6 +48,17 @@ export class HydraniumGlspRecordingCommand<TSourceModel extends AnyObject> exten
    /** The operation this command opened, when it executed outside one. */
    protected ownOperation?: HydraniumGlspOperationCommand<TSourceModel>;
 
+   /** Backing field for {@link dropped}. */
+   protected _dropped = false;
+
+   /**
+    * Whether the operation this command opened, executing outside one, had its
+    * write dropped: the command changed nothing, and its undo does nothing.
+    */
+   get dropped(): boolean {
+      return this._dropped;
+   }
+
    constructor(
       modelState: HydraniumGlspRecordingState<TSourceModel>,
       /** Human-readable label for the operation; appears in the timing-pair log line. */
@@ -66,7 +77,9 @@ export class HydraniumGlspRecordingCommand<TSourceModel extends AnyObject> exten
       const open = openOperationOf(this.modelState);
       if (!open) {
          const operation = new HydraniumGlspOperationCommand<TSourceModel>(this.modelState);
-         if ((await this.modelState.runExclusive(() => runOperation(operation, () => this))) === 'executed') {
+         const outcome = await this.modelState.runExclusive(() => runOperation(operation, () => this));
+         this._dropped = outcome === 'dropped';
+         if (outcome === 'executed') {
             this.ownOperation = operation;
          }
          return;

package/src/command/hydranium-glsp-undo-redo-action-handler.ts

@@ -7,10 +7,75 @@
  * SPDX-License-Identifier: MIT
  ********************************************************************************/
 
-import { type Action, ModelState, UndoRedoActionHandler } from '@eclipse-glsp/server';
+import { type Action, Logger, MessageAction, ModelState, RedoAction, UndoAction, UndoRedoActionHandler } from '@eclipse-glsp/server';
+import { type ServerSharedServices } from '@hydranium/core';
 import { type AstNode } from '@hydranium/langium';
+import { type MessageDefinition, defineMessage, describeError, isConflictError } from '@hydranium/protocol';
 import { inject, injectable } from 'inversify';
 import { type AbstractHydraniumGlspState } from '../state/abstract-hydranium-glsp-state.js';
+import { HydraniumTypes } from '../state/hydranium-shared-core-services.js';
+import { isDiagramEditDroppedError, logActionFailure } from './diagram-edit-dropped-error.js';
+import { type UndoRedoDirection, takeUndoRedoTally } from './hydranium-glsp-operation-command.js';
+
+/** An undo did nothing: another editor has since changed a field it would restore. */
+export const DIAGRAM_UNDO_SKIPPED = defineMessage(
+   'hydranium/glsp-server/diagram-undo-skipped',
+   'Nothing was undone: another editor has since changed what this undo would restore.'
+);
+
+/** A redo did nothing: another editor has since changed a field it would reapply. */
+export const DIAGRAM_REDO_SKIPPED = defineMessage(
+   'hydranium/glsp-server/diagram-redo-skipped',
+   'Nothing was redone: another editor has since changed what this redo would reapply.'
+);
+
+/**
+ * Part of an undo did nothing: of the operations one undo step undoes, as a
+ * compound executed outside an operation does, another editor has since
+ * changed a field some would restore, and the rest were undone.
+ */
+export const DIAGRAM_UNDO_PARTLY_SKIPPED = defineMessage(
+   'hydranium/glsp-server/diagram-undo-partly-skipped',
+   'Part of this undo was not applied: another editor has since changed some of what it would restore.'
+);
+
+/** Part of a redo did nothing, as {@link DIAGRAM_UNDO_PARTLY_SKIPPED} describes for an undo. */
+export const DIAGRAM_REDO_PARTLY_SKIPPED = defineMessage(
+   'hydranium/glsp-server/diagram-redo-partly-skipped',
+   'Part of this redo was not applied: another editor has since changed some of what it would reapply.'
+);
+
+/**
+ * An undo failed because another editor changed a field it writes while it
+ * ran. GLSP clears the undo history on every failed undo or redo, so the
+ * message says so: the next undo otherwise does nothing, unexplained.
+ */
+export const DIAGRAM_UNDO_FAILED = defineMessage(
+   'hydranium/glsp-server/diagram-undo-failed',
+   'Could not undo: another editor changed the same element meanwhile. The undo and redo history of this diagram was cleared.'
+);
+
+/** A redo failed as {@link DIAGRAM_UNDO_FAILED} describes for an undo. */
+export const DIAGRAM_REDO_FAILED = defineMessage(
+   'hydranium/glsp-server/diagram-redo-failed',
+   'Could not redo: another editor changed the same element meanwhile. The undo and redo history of this diagram was cleared.'
+);
+
+/**
+ * An undo failed for a reason of its own, a side effect that threw, say, and
+ * GLSP cleared the history as it does on every failed undo or redo. The
+ * reason goes in the message's details; the log has it in full.
+ */
+export const DIAGRAM_UNDO_ERROR = defineMessage(
+   'hydranium/glsp-server/diagram-undo-error',
+   'Could not undo: an error occurred. The undo and redo history of this diagram was cleared.'
+);
+
+/** A redo failed as {@link DIAGRAM_UNDO_ERROR} describes for an undo. */
+export const DIAGRAM_REDO_ERROR = defineMessage(
+   'hydranium/glsp-server/diagram-redo-error',
+   'Could not redo: an error occurred. The undo and redo history of this diagram was cleared.'
+);
 
 /**
  * GLSP's undo and redo handler inside the state's `runExclusive`. GLSP's
@@ -18,12 +83,92 @@ import { type AbstractHydraniumGlspState } from '../state/abstract-hydranium-gls
  * the boundary covers the whole action: taken around the undo or redo alone,
  * an undo arriving while an operation runs would move the position past an
  * entry it then cannot undo.
+ *
+ * An undo or redo a foreign edit skipped, whole or in part, tells the client,
+ * which otherwise sees nothing happen. One that fails ends here, as a message saying the
+ * history was cleared in place of GLSP's generic notice for a failed action:
+ * a dropped or conflicting one says another editor changed the element, and
+ * any but a dropped one, which its reconcile has logged, is logged here.
  */
 @injectable()
 export class HydraniumGlspUndoRedoActionHandler extends UndoRedoActionHandler {
    @inject(ModelState) protected readonly modelState!: AbstractHydraniumGlspState<AstNode, unknown>;
+   @inject(HydraniumTypes.SharedCoreServices) protected readonly sharedServices!: ServerSharedServices;
+   @inject(Logger) protected readonly logger!: Logger;
 
    override execute(action: Action): Promise<Action[]> {
       return this.modelState.runExclusive(() => super.execute(action));
    }
+
+   protected override undo(): Promise<Action[]> {
+      return this.undoOrRedo('undo');
+   }
+
+   protected override redo(): Promise<Action[]> {
+      return this.undoOrRedo('redo');
+   }
+
+   /**
+    * Lifted from `@eclipse-glsp/server` 2.7.0's `UndoRedoActionHandler.undo`
+    * and `redo`, telling the client of a skip and ending a failure of the
+    * command stack's undo or redo, which flushes the history on any failure.
+    * A failed submit after it leaves the history whole and fails as upstream.
+    * The accompanying test pins upstream's source.
+    */
+   protected async undoOrRedo(direction: UndoRedoDirection): Promise<Action[]> {
+      const undo = direction === 'undo';
+      if (!(undo ? this.commandStack.canUndo() : this.commandStack.canRedo())) {
+         return [];
+      }
+      // A tally no handler read, as of an undo whose submit failed or that ran outside this handler, is not this one's.
+      takeUndoRedoTally(this.modelState);
+      try {
+         await (undo ? this.commandStack.undo() : this.commandStack.redo());
+      } catch (error: unknown) {
+         return [this.failure(direction, error)];
+      }
+      const actions = await this.modelSubmissionHandler.submitModel(direction);
+      const { skipped, applied } = takeUndoRedoTally(this.modelState);
+      if (skipped === 0) {
+         return actions;
+      }
+      const message =
+         applied === 0
+            ? undo
+               ? DIAGRAM_UNDO_SKIPPED
+               : DIAGRAM_REDO_SKIPPED
+            : undo
+              ? DIAGRAM_UNDO_PARTLY_SKIPPED
+              : DIAGRAM_REDO_PARTLY_SKIPPED;
+      return [MessageAction.create(this.render(message), { severity: 'WARNING' }), ...actions];
+   }
+
+   /**
+    * The message for an undo or redo that failed, logging a failure its
+    * reconcile has not. A conflict thrown rather than dropped, by a state that
+    * does not reconcile or a reconcile that could not read the text, is the
+    * same foreign edit as a dropped write and is told as one.
+    */
+   protected failure(direction: UndoRedoDirection, error: unknown): MessageAction {
+      const undo = direction === 'undo';
+      if (isDiagramEditDroppedError(error)) {
+         return MessageAction.create(this.render(undo ? DIAGRAM_UNDO_FAILED : DIAGRAM_REDO_FAILED), { severity: 'ERROR' });
+      }
+      logActionFailure(this.logger, undo ? UndoAction.create() : RedoAction.create(), error);
+      if (isConflictError(error)) {
+         // The conflict's own message names the document, which the details carry.
+         return MessageAction.create(this.render(undo ? DIAGRAM_UNDO_FAILED : DIAGRAM_REDO_FAILED), {
+            severity: 'ERROR',
+            details: describeError(error)
+         });
+      }
+      return MessageAction.create(this.render(undo ? DIAGRAM_UNDO_ERROR : DIAGRAM_REDO_ERROR), {
+         severity: 'ERROR',
+         details: describeError(error)
+      });
+   }
+
+   protected render(message: MessageDefinition<string>): string {
+      return this.sharedServices.MessageRenderer.renderMessage(message);
+   }
 }

package/src/computed-bounds/hydranium-glsp-computed-bounds-action-handler.ts

@@ -12,13 +12,28 @@ import {
    type ComputedBoundsAction,
    ComputedBoundsActionHandler,
    type GModelRoot,
-   type MaybePromise
+   type MaybePromise,
+   MessageAction
 } from '@eclipse-glsp/server';
 import { type AstNode } from '@hydranium/langium';
-import { injectable } from 'inversify';
+import { type ServerSharedServices } from '@hydranium/core';
+import { defineMessage } from '@hydranium/protocol';
+import { inject, injectable } from 'inversify';
 import { type AbstractHydraniumGlspState } from '../state/abstract-hydranium-glsp-state.js';
+import { HydraniumTypes } from '../state/hydranium-shared-core-services.js';
 import { type HydraniumGlspSubmissionHandler } from '../submission/hydranium-glsp-submission-handler.js';
 
+/**
+ * The first layout of a diagram arrived for a model the server has since
+ * replaced, so the diagram stays empty. Rendered at the raise site, since
+ * GLSP's message action has no slot for its identity. It names the recovery:
+ * a reopened diagram requests its model again.
+ */
+export const DIAGRAM_LAYOUT_STALE = defineMessage(
+   'hydranium/glsp-server/diagram-layout-stale',
+   'Could not show this diagram: the document changed while it was opening. Close the diagram and open it again.'
+);
+
 /**
  * GLSP {@link ComputedBoundsActionHandler} base shared by all hydranium
  * adopters. Adds handshake-aware revision-mismatch logging on top of the
@@ -32,7 +47,8 @@ import { type HydraniumGlspSubmissionHandler } from '../submission/hydranium-gls
  * very first `computedBounds` arrives with a revision the server has already
  * bumped, the subsequent `SetModelAction` response never fires and the diagram
  * stays stuck at "model loading…". Adopters need this initial-handshake case
- * logged as an error: the diagram stays empty, so the requested load failed.
+ * logged as an error, and the client told with {@link DIAGRAM_LAYOUT_STALE}:
+ * the diagram stays empty, so the requested load failed.
  *
  * **Handshake detection** uses
  * {@link HydraniumGlspSubmissionHandler.hasPendingInitialRequest} — true
@@ -49,6 +65,7 @@ import { type HydraniumGlspSubmissionHandler } from '../submission/hydranium-gls
 export class HydraniumGlspComputedBoundsActionHandler extends ComputedBoundsActionHandler {
    declare protected readonly modelState: AbstractHydraniumGlspState<AstNode, unknown>;
    declare protected readonly submissionHandler: HydraniumGlspSubmissionHandler<AstNode, unknown>;
+   @inject(HydraniumTypes.SharedCoreServices) protected readonly sharedServices!: ServerSharedServices;
 
    override execute(action: ComputedBoundsAction): MaybePromise<Action[]> {
       this.modelState.logger.debug(`ComputedBoundsActionHandler.execute entered: action.revision=${action.revision}`);
@@ -59,6 +76,7 @@ export class HydraniumGlspComputedBoundsActionHandler extends ComputedBoundsActi
                `ComputedBounds rejected (initial handshake): action.revision=${action.revision} model.revision=${model.revision} — ` +
                   'initial SetModelAction will not fire (empty diagram)'
             );
+            return [MessageAction.create(this.sharedServices.MessageRenderer.renderMessage(DIAGRAM_LAYOUT_STALE), { severity: 'ERROR' })];
          } else {
             this.modelState.logger.debug(
                `ComputedBounds dropped (stale): action.revision=${action.revision} model.revision=${model.revision} — ` +

package/src/messages/index.ts

@@ -22,6 +22,18 @@
  * discovers the codes exist.
  */
 
+export {
+   DIAGRAM_REDO_ERROR,
+   DIAGRAM_REDO_FAILED,
+   DIAGRAM_REDO_PARTLY_SKIPPED,
+   DIAGRAM_REDO_SKIPPED,
+   DIAGRAM_UNDO_ERROR,
+   DIAGRAM_UNDO_FAILED,
+   DIAGRAM_UNDO_PARTLY_SKIPPED,
+   DIAGRAM_UNDO_SKIPPED
+} from '../command/hydranium-glsp-undo-redo-action-handler.js';
+export { DIAGRAM_LAYOUT_STALE } from '../computed-bounds/hydranium-glsp-computed-bounds-action-handler.js';
+export { DIAGRAM_EDIT_DROPPED } from '../status/diagram-status-reporter.js';
 export {
    DIAGRAM_READONLY_PARSE_ERROR,
    DIAGRAM_SESSION_REFUSED,

package/src/state/abstract-hydranium-glsp-state.ts

@@ -409,7 +409,9 @@ export abstract class AbstractHydraniumGlspState<TRoot extends AstNode, TSourceM
    /**
     * Resync after a write whose reconcile dropped the edit: during an
     * operation the operation undoes its side effects, pushes nothing, and
-    * captures the document's current root when it ends.
+    * captures the document's current root when it ends. Announced on
+    * {@link onEditDropped}, except during an undo or redo, which fails and
+    * reports that itself.
     */
    protected writeDropped(): void {
       const operation = openOperationOf(this);
@@ -418,6 +420,22 @@ export abstract class AbstractHydraniumGlspState<TRoot extends AstNode, TSourceM
       } else {
          this.refreshSourceRoot();
       }
+      if (!operation?.isUndoingOrRedoing()) {
+         this.editDroppedEmitter.fire();
+      }
+   }
+
+   /** Backing emitter for {@link onEditDropped}. */
+   protected readonly editDroppedEmitter = new Emitter<void>();
+
+   /**
+    * Fires when a write's reconcile dropped a diagram edit, whether an
+    * operation or code outside one wrote it, so that one listener tells the
+    * client: the diagram returning to the document's state otherwise reads as
+    * the edit never having been made.
+    */
+   get onEditDropped(): Event<void> {
+      return this.editDroppedEmitter.event;
    }
 
    /**

package/src/status/diagram-status-reporter.ts

@@ -15,23 +15,41 @@ import {
    type ClientSessionListener,
    ClientSessionManager,
    EditMode,
+   MessageAction,
    ModelState,
    SetEditModeAction,
    StatusAction
 } from '@eclipse-glsp/server';
+import { type ServerSharedServices } from '@hydranium/core';
 import { type AstNode } from '@hydranium/langium';
-import { DisposableCollection, describeErrorWithStack } from '@hydranium/protocol';
+import { DisposableCollection, defineMessage, describeErrorWithStack } from '@hydranium/protocol';
 import { inject, injectable } from 'inversify';
 import { type AbstractHydraniumGlspState } from '../state/abstract-hydranium-glsp-state.js';
 import { type DiagramStatusEntry } from '../state/diagram-status.js';
+import { HydraniumTypes } from '../state/hydranium-shared-core-services.js';
+
+/**
+ * A diagram edit was dropped because another editor changed the same field
+ * first. The diagram returns to the document's state, which without this reads
+ * as the edit never having been made. It names the recovery: the edit made
+ * again applies to the other editor's change.
+ */
+export const DIAGRAM_EDIT_DROPPED = defineMessage(
+   'hydranium/glsp-server/diagram-edit-dropped',
+   'Your diagram change was not applied: another editor changed the same element first. Make the change again if you still want it.'
+);
 
 /**
  * Sends the client what {@link AbstractHydraniumGlspState.onStatusChanged}
- * announces: the current status for its status overlay and the edit mode.
+ * announces: the current status for its status overlay and the edit mode; and
+ * a warning for each edit {@link AbstractHydraniumGlspState.onEditDropped}
+ * announces.
  *
- * The only sender of either action. A status or edit mode dispatched from
+ * The only sender of the status and the edit mode. Either dispatched from
  * anywhere else is overwritten by the next change, and the state's account of
- * why the diagram is read-only no longer matches the client's.
+ * why the diagram is read-only no longer matches the client's. An
+ * implementation bound in place of {@link DefaultDiagramStatusReporter} takes
+ * over the dropped-edit warning too, or the client no longer hears of one.
  */
 export interface DiagramStatusReporter extends ClientSessionInitializer {
    /**
@@ -47,6 +65,7 @@ export class DefaultDiagramStatusReporter implements DiagramStatusReporter, Clie
    @inject(ModelState) protected readonly state!: AbstractHydraniumGlspState<AstNode, unknown>;
    @inject(ActionDispatcher) protected readonly actionDispatcher!: ActionDispatcher;
    @inject(ClientSessionManager) protected readonly sessionManager!: ClientSessionManager;
+   @inject(HydraniumTypes.SharedCoreServices) protected readonly sharedServices!: ServerSharedServices;
 
    protected readonly toDispose = new DisposableCollection();
    /** What the client shows; it starts editable with an empty overlay. */
@@ -56,6 +75,7 @@ export class DefaultDiagramStatusReporter implements DiagramStatusReporter, Clie
    initialize(): void {
       this.sessionManager.addListener(this, this.state.clientId);
       this.toDispose.push(this.state.onStatusChanged(() => this.send()));
+      this.toDispose.push(this.state.onEditDropped(() => this.sendEditDropped()));
    }
 
    clientEditModeChanged(editMode: EditMode): void {
@@ -69,6 +89,19 @@ export class DefaultDiagramStatusReporter implements DiagramStatusReporter, Clie
          .catch((error: unknown) => this.state.logger.warn(`Could not send the diagram status: ${describeErrorWithStack(error)}`));
    }
 
+   /**
+    * Warn the client of a dropped edit. Not awaited: the drop is announced
+    * inside the diagram's exclusive section, and a dispatch from outside any
+    * action queues behind the action being processed, which may be waiting
+    * for that section.
+    */
+   protected sendEditDropped(): void {
+      const message = this.sharedServices.MessageRenderer.renderMessage(DIAGRAM_EDIT_DROPPED);
+      this.actionDispatcher
+         .dispatch(MessageAction.create(message, { severity: 'WARNING' }))
+         .catch((error: unknown) => this.state.logger.warn(`Could not warn of a dropped edit: ${describeErrorWithStack(error)}`));
+   }
+
    /** The actions that bring the client up to date, recording them as sent. */
    protected changedActions(): Action[] {
       const actions: Action[] = [];