Utop autocompletion in VSCode: how to navigate

I have a Mac. When I run the terminal normally (i.e. not embedded inside VSCode) and utop, I can navigate and select with the usual commands.

I would like to do the same with the embedded terminal in VSCode. I do get the completion possibilities displayed, but I cannot navigate through them. Is it possible?

Aside note: I had the same issue with the normal terminal, then I found this, and it worked.

1 Like