Menu 'Recherche' grisé dans mysql workbench

[NicolasTT]

Bonjour,

J'utilise Mysql workbench, v5.2.35. Le menu 'Edit / Find' comporte des items Find et 'Find and replace'.
Mon menu 'Find' est grisé. (Le 'Find and replace' est disponible)
'Controle + F' ne fonctionne pas.
Si je passe par la zone de recherche en haut à droite, le clic sur l'icône de loupe ne déclenche rien.

Pouvez-vous m’indiquer si il y a un paramétrage pour activer la recherche?

Merci,