I have updated my local repo devel branch from Leo's github rep. Now I can
run the leoserver.py file that's in the Leo repo. But, as Edward reported,
it doesn't actually work with leointeg. I get an announcement that the
extension is connected, but it's not. Sometimes when I try to connect there
is a message that it's already connected, but it still acts like it is not.
OTOH, when I start Felix's leobridgeserver from the leointeg directory,
then it works as I described earlier.
BTW. after some of these failed attempts I had to close vscode and restart
it to get the whole mechanism working again.
On Wednesday, June 9, 2021 at 4:13:08 PM UTC-4 Edward K. Ream wrote:
> On Wed, Jun 9, 2021 at 2:49 PM Edward K. Ream <edre...@gmail.com> wrote:
>
>>
>>
>> On Wed, Jun 9, 2021 at 10:25 AM tbp1...@gmail.com <tbp1...@gmail.com>
>> wrote:
>>
>>> Here is the simplest, cleanest way I have found to get the extension
>>> working. I assume that the leo settings have already been set:
>>
>>
>> Thanks for this. We are getting close. It fails in leobridgeserver.py
>> because it can't import leo itself. This is expected. There should be a
>> simple fix that doesn't depend on Leo being on python's path. I'll report
>> on my proposed fix soon.
>>
>
> Hmm. Still no joy. I copied leobridgeserver.py to leo/core/leoserver.py
> to make sure they are identical. Then I added the following to leoserver.py:
>
> _path = __file__
> _leo_path = os.path.abspath(os.path.join(__file__, '..', '..', '..'))
> print('leoserver.py::_leo_path:', _leo_path)
> if _leo_path not in sys.path:
> sys.path.append(_leo_path)
>
> Now the imports succeed, and the server runs as expected. However, nothing
> else happens and there is no obvious way to load a .leo file.
>
> Instead of this, perhaps leoInteg could ask for a path to Leo itself.
>
> Thomas, would you like to zoom with Félix and me when Félix is available?
>
> 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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/leo-editor/20900c56-e3ef-4957-ab0b-3bf0e8eb345cn%40googlegroups.com.
