Add PathRegion

2025-08-03 23:46:35 +02:00
parent 986c087dec
commit 5cce0ad5eb
15 changed files with 586 additions and 59 deletions
@@ -205,10 +205,10 @@ public class PasteBuilder {
    }

    public EditSession run() {
-        if (pastPoint == null) {
-            throw new IllegalStateException("pastePoint is null");
+        if (pastPoint != null || minPoint != null) {
+            return FlatteningWrapper.impl.paste(this);
        }
-        return FlatteningWrapper.impl.paste(this);
+        throw new IllegalStateException("pastePoint is null");
    }

    public interface ClipboardProvider {