diff --git a/ivette/src/frama-c/plugins/eva/valuetable.tsx b/ivette/src/frama-c/plugins/eva/valuetable.tsx
index 00c3b7738bac9049344c90b3addc42ce9b28d34f..5f0aef4d0a9f6fd0e24d1e82978ccbda8e8b9ef6 100644
--- a/ivette/src/frama-c/plugins/eva/valuetable.tsx
+++ b/ivette/src/frama-c/plugins/eva/valuetable.tsx
@@ -914,6 +914,15 @@ interface EvaluationModeProps {
   setLocPin: (loc: Location, pin: boolean) => void;
 }
 
+Dome.addMenuItem({
+  menu: 'Edit',
+  id: 'EvaluateMenu',
+  type: 'normal',
+  label: 'Evaluate',
+  key: 'Cmd+E',
+  onClick: () => evaluateEvent.emit(),
+});
+
 function useEvaluationMode(props: EvaluationModeProps): void {
   const { computationState, selection, setLocPin } = props;
   const handleError = (): void => { return; };
@@ -941,14 +950,6 @@ function useEvaluationMode(props: EvaluationModeProps): void {
     Toolbars.RegisterMode.emit(evalMode);
     return () => Toolbars.UnregisterMode.emit(evalMode);
   });
-  Dome.addMenuItem({
-    menu: 'Edit',
-    id: 'EvaluateMenu',
-    type: 'normal',
-    label: 'Evaluate',
-    key: 'Cmd+E',
-    onClick: () => evaluateEvent.emit(),
-  });
   React.useEffect(() => {
     Dome.setMenuItem({ id: 'EvaluateMenu', enabled: true });
     return () => Dome.setMenuItem({ id: 'EvaluateMenu', enabled: false });