Felix, I had already worked through your various screens before I finally got leointeg working. The only way I could get it to run was by starting the server externally, in a console window. Just now I manually started it in a terminal window within vscode and that worked (as expected). It is only having vscode start the server automatically that fails.
As I think about it, I recall that when I ask vsc to launch the leointeg server, I see a terminal-like panel that shows my python batch file being launched but doesn't show any command line arguments. That's probably why the server does not get launched. The settings show that the right location for the server is known, but that information isn't getting sent to the command line. On Tuesday, June 8, 2021 at 11:20:07 PM UTC-4 Félix wrote: > > Thanks tbp1!! Much appreciated!!! > > Also : *What do you mean: 'F5' on an @file? This does not make any sense > to me at all?!?* > Sorry. I meant trying use F5 to run an external file in a Leo outline whose root node starts with *@file* (or it could be *@clean*), when that root node is selected. I suppose it's to be expected, but I thought I'd try it anyway. As an aside, I wish I had started out running the extension using CTRL-F5 instead of F5. That way, I don't get all that debug clutter and messages, and it is a lot easier to read and understand what is going on. I suggest changing that in the directions. As an aside, this morning vscode took so long to start up (minutes) that I thought the installation had become corrupted. Turns out that Windows had just updated itself last night and I had restarted it. That makes me think that the update may have triggered vscode or npm to update itself, which took a very long time. But there were no messages, so it seemed as if vscode had simply failed. > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/736496e4-2fe1-483d-a933-921cc70577f7n%40googlegroups.com.
