From f3b64fdd05bb683b0bc3ba36ef1231e0c012b5c6 Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime.jacquemin@cea.fr>
Date: Fri, 17 Sep 2021 11:24:40 +0200
Subject: [PATCH] [ivette] The selected function is displayed on top of the
view
---
ivette/src/frama-c/kernel/SourceCode.tsx | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ivette/src/frama-c/kernel/SourceCode.tsx b/ivette/src/frama-c/kernel/SourceCode.tsx
index b8836c215b3..f02df8104df 100644
--- a/ivette/src/frama-c/kernel/SourceCode.tsx
+++ b/ivette/src/frama-c/kernel/SourceCode.tsx
@@ -87,7 +87,7 @@ export default function SourceCode() {
const errorMsg = () => { D.error(`Fail to load source code file ${file}`); };
const onError = () => { if (file) errorMsg(); };
const setValue = (text: string) => buffer.setValue(text);
- const setCursor = () => buffer.forEach((cm) => cm.setCursor(line - 1));
+ const setCursor = () => buffer.setCursorOnTop(line);
const text = React.useMemo(() => readFile(file), [file]);
Dome.usePromise(text.then(setValue).then(setCursor).catch(onError));
--
GitLab