Fix undo/redo history not working after panning or pinch-zoom gesture on touch devices

CHANGELOG.md

@@ -6,6 +6,7 @@ The format is based on [Keep a Changelog](http://keepachangelog.com/) and this p
 ## [Unreleased]
 #### 🐛 Fixed
 - Fix `AnnotationSupport` not unsubscribing from `AnnotationTopic` at unmount which causes tow annotations to be created from `SelectionActionAnnotate` in React development mode.
+- Fix undo/redo history not working after panning or pinch-zoom gesture on touch devices.
 
 ## [0.31.1] - 2025-11-18
 #### 🐛 Fixed

src/diagram/paperArea.tsx

@@ -647,23 +647,25 @@ export class PaperArea extends React.Component<PaperAreaProps, State> implements
             document.removeEventListener('pointermove', this.onPointerMove);
             document.removeEventListener('pointerup', this.onPointerUp);
             document.removeEventListener('pointercancel', this.onPointerCancel);
-        }
 
-        if (e && movingState && !movingState.pinchOrigin) {
-            const {pointerMoved, target, batch, restoreGeometry} = movingState;
-            this.source.trigger('pointerUp', {
-                source: this,
-                sourceEvent: e,
-                target,
-                panning: Boolean(movingState.panningOrigin),
-                triggerAsClick: !pointerMoved,
-            });
+            const {pointerMoved, target, batch, restoreGeometry, pinchOrigin} = movingState;
+            if (e && !pinchOrigin) {
+                this.source.trigger('pointerUp', {
+                    source: this,
+                    sourceEvent: e,
+                    target,
+                    panning: Boolean(movingState.panningOrigin),
+                    triggerAsClick: !pointerMoved,
+                });
 
-            const restore = restoreGeometry.filterOutUnchanged();
-            if (restore.hasChanges()) {
-                batch.history.registerToUndo(restore);
+                const restore = restoreGeometry.filterOutUnchanged();
+                if (restore.hasChanges()) {
+                    batch.history.registerToUndo(restore);
+                }
+                batch.store();
+            } else {
+                batch.discard();
             }
-            batch.store();
         }
     };