diff --git a/ivette/src/frama-c/kernel/SourceCode.tsx b/ivette/src/frama-c/kernel/SourceCode.tsx
index 71d7a051e535c4d21ec74a72df78c90e65c11411..c99edaef1d7c7ee71d47bae9662dd00450c6906a 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
       />
     </>