Use diagnostics in pinned files in other export mode

nvarner · Dec 29, 2023 · 2ac37c0 · 2ac37c0
1 parent 2f829f9
commit 2ac37c0
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/server/document.rs b/src/server/document.rs
@@ -17,7 +17,10 @@ impl TypstServer {
                     self.run_diagnostics(uri).await?
                 }
             }
-            _ => self.run_diagnostics(uri).await?,
+            _ => {
+                self.run_diagnostics(self.main_url().await.as_ref().unwrap_or(uri))
+                    .await?
+            }
         }
 
         Ok(())