On Mon, Jul 6, 2020 at 6:27 AM Félix <[email protected]> wrote: That's the webkit compilation terminal, to be closed at any key press to > reveal the server-script launch terminal underneath. there Is also a toggle > to switch from one terminal to the next in the upper right corner of vscode > terminal pane. > > Hope this helps. Please check if you can reproduce what's in the > screenshot above. >
I've tried all the obvious places and all the dropdown boxes. When Terminal is active, I see a dropdown with only two entries: "Powershell" and "Select Default Shell". If I try to select "Command Prompt" as the default shell I get: "Unable to write into user settings. Please open the user settings to correct errors/warnings in it and try again". There may be a problem with this line in the settings. "leoIntegration.leoPythonCommand": "python", No idea why, but it has two underlines under it. Edward -- 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/CAMF8tS1YNJ2LLNOUe4XmPLqDZ%3DQvmTp6J_y_7Dh4FJEZKPhQQQ%40mail.gmail.com.
