Closed unthingable closed 5 months ago
Thanks for reporting. Same behavior on Windows using the control key. This seems to be default VSCode behavior:
https://code.visualstudio.com/docs/editor/editingevolved#_go-to-definition
The terminal opens as the "Go to Definition" is implemented by querying the Logtalk process. I'm yet to find a solution to disable this VSCode system behavior.
Created https://github.com/microsoft/vscode/issues/212444. Maybe you can comment/vote on it?
Created microsoft/vscode#212444. Maybe you can comment/vote on it?
Thanks, voted and commented.
I don't know much about vscode extensions, but it's interesting that some actions happily happen in the background without any visible terminal activity (e.g. hovering over a known predicate and seeing a documentation popup). Wonder if definitions search could be done in the background in a similar way.
Most code navigation features (exception is go to symbol) require querying the Logtalk reflection API and thus use the terminal running the Logtalk process where the code is loaded.
Btw, a new version of the extension is expected early next week.
Closing as opening a terminal is expected if no terminal exists and a code navigation feature that requires the code to be loaded is triggered using standard VSCode gestures. The next version of the extension improves feedback on attempts to use code navigation features (in this case, go to definition) without the required code being loaded. VSCode behavior itself may be eventually improved as per https://github.com/microsoft/vscode/issues/212444.
Steps to reproduce:
Expected: nothing
Actual: a new vscode terminal panel with Logtalk process opens and steals keyboard focus. The contents of the terminal look like this:
Additional notes:
find_definition
commands in it.v0.20.0 Logtalk 3.78.0 SWI-Prolog (threaded, 64 bits, version 9.3.2-10-gf146a507d) MacOS 14.4.1