On Wednesday, March 30, 2022 at 4:39:37 PM UTC+1 [email protected] wrote:
> It ought to be possible to extend leoserver to help with this. As things > stand, you can run a Leo GUI session and a VSCode session at the same time > (I've only done it on the same machine but that's not a fundamental > problem) and you could use the leoserver instance to do signalling or > updating. > > Yes, I slightly wondered about leoserver for this. I haven't yet tried leoserver properly, I ought to do that sometime... > On Wednesday, March 30, 2022 at 10:28:27 AM UTC-4 Edward K. Ream wrote: > >> On Tue, Mar 29, 2022 at 4:54 PM jkn <[email protected]> wrote: >> >>> A slightly off-the-wall question, perhaps - does Leo use (linux) signals? >>> >> >> No. That would introduce a complex platform dependency. Let's not go >> there. >> >> 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/b726149b-9811-41a3-9fb5-e165ae62c038n%40googlegroups.com.
