fix insert-before annotation bug

joshuahhh · Dec 16, 2024 · 867a6ab · 867a6ab
1 parent a1656ce
commit 867a6ab
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/src/interpreter.ts b/src/interpreter.ts
@@ -499,7 +499,7 @@ function performAction(
         newWorkspace.splice(target.index + 1, 0, [pickedItem]);
         annotation = {
           type: "workspace-pick",
-          src: [source, pickedIndex],
+          src: [source >= target.index + 1 ? source + 1 : source, pickedIndex],
           dst: [target.index + 1, 0],
         };
       } else {

diff --git a/src/ui.ts b/src/ui.ts
@@ -8,6 +8,7 @@ import {
 } from "./edits";
 import {
   Action,
+  ActionAnnotation,
   Definitions,
   Flowchart,
   Frame,
@@ -707,7 +708,9 @@ async function main() {
     const lyrTop = lyr.spawnLater(); // so drop target lines go above the contents
 
     const contents = scene.value.contents;
-    let annotation = undefined;
+    let annotation:
+      | (ActionAnnotation & { type: "workspace-pick" })
+      | undefined = undefined;
     if (scene.actionAnnotation?.type === "workspace-pick") {
       annotation = scene.actionAnnotation;
     }