Let the 'server location' setting be a folder-path instead of just a file-path
Let the string point to either a folder or a script file.
If it's a folder, then consider it to be leo-editor's root folder and search for the leoserver.py file in /leo/core.
instead the user has to have the path to the Leo editor installation folder in his config set. Closing this issue.
On Sun, Jul 18, 2021 at 7:00 PM Felix @.***> wrote:
instead the user has to have the path to the Leo editor installation folder in his config set. Closing this issue.
What do you mean by "config set"? Is this a vs-code term?
Edward
I meant leointeg's settings. In fact i just reconsidered that this may be useful. Going to reopen this!