From 70a4f653ca7f024b6dc47c090967f7d665ed98d2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 16 Sep 2021 14:06:27 +0200
Subject: [PATCH] [ivette] "Set files" menu: resets the current location when
the AST is computed.
---
ivette/src/frama-c/menu.ts | 1 +
1 file changed, 1 insertion(+)
diff --git a/ivette/src/frama-c/menu.ts b/ivette/src/frama-c/menu.ts
index 48edd9bc0ec..ea9e37c0a01 100644
--- a/ivette/src/frama-c/menu.ts
+++ b/ivette/src/frama-c/menu.ts
@@ -46,6 +46,7 @@ async function setFiles(): Promise<void> {
});
await Server.send(Ast.setFiles, files);
await Server.send(Ast.compute, { });
+ States.setSelection({fct: undefined});
return;
}
--
GitLab