dedup mentions client side by fragment id

Author: williamstein

src/packages/frontend/editors/markdown-input/mentions.ts

@@ -13,6 +13,8 @@ interface Mention {
   fragment_id?: string;
 }
 
+const seenFragmentIds = new Set<string>();
+
 export async function submit_mentions(
   project_id: string,
   path: string,
@@ -27,6 +29,12 @@ export async function submit_mentions(
       // Ignore all language model mentions, they are processed by the chat actions in the frontend
       continue;
     }
+    if (fragment_id) {
+      if (seenFragmentIds.has(fragment_id)) {
+        continue;
+      }
+      seenFragmentIds.add(fragment_id);
+    }
     try {
       await webapp_client.query_client.query({
         query: {