From 2ade528bddae8d0a28b7f49116ff4e66fb096271 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 22 Oct 2021 16:38:35 +0200
Subject: [PATCH] [Ivette] Source code: restores the persistent find via Alt-F
key.
---
ivette/src/frama-c/kernel/SourceCode.tsx | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/ivette/src/frama-c/kernel/SourceCode.tsx b/ivette/src/frama-c/kernel/SourceCode.tsx
index 71d7a051e53..c99edaef1d7 100644
--- a/ivette/src/frama-c/kernel/SourceCode.tsx
+++ b/ivette/src/frama-c/kernel/SourceCode.tsx
@@ -43,6 +43,7 @@ import * as Status from 'frama-c/kernel/Status';
import CodeMirror from 'codemirror/lib/codemirror';
import 'codemirror/addon/selection/active-line';
import 'codemirror/addon/dialog/dialog.css';
+import 'codemirror/addon/search/search';
import 'codemirror/addon/search/searchcursor';
// --------------------------------------------------------------------------
@@ -130,7 +131,10 @@ export default function SourceCode() {
selection={theMarker}
lineNumbers={!!theFunction}
styleActiveLine={!!theFunction}
- extraKeys={{ 'Ctrl-LeftClick': launchEditor }}
+ extraKeys={{
+ 'Alt-F': 'findPersistent',
+ 'Ctrl-LeftClick': launchEditor,
+ }}
readOnly
/>
</>
--
GitLab