Re: langserver - this looks important

2017-09-13 Thread lewis 
see LSP for Leo 


-- 
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 post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: langserver - this looks important

2017-09-13 Thread Edward K. Ream 
On Wed, Sep 13, 2017 at 8:40 AM, Phil  wrote:

> I just ran across this 5 minutes ago, so I can't really comment on it
> other than that it appears relevant to Leo, so I though I'd pass along the
> info:
>
> http://langserver.org/
>

​I'm pretty sure we discussed this before, because I have a bookmark for this
GitHub page .  It's
a reasonable thing for Leo to support.

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 post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: langserver - this looks important

2017-09-13 Thread john lunzer 
On Wednesday, September 13, 2017 at 9:40:04 AM UTC-4, Phil wrote:
>
> I just ran across this 5 minutes ago, so I can't really comment on it 
> other than that it appears relevant to Leo, so I though I'd pass along the 
> info:
>
> http://langserver.org/
>

I agree, this does *seem* important. Hard to place it, I think it's a "keep 
it on the radar" project.

On Wednesday, September 13, 2017 at 9:57:16 AM UTC-4, Terry Brown wrote:
>
> I wonder if you can run it locally for cases where you have no internet 
> connection?  Or perhaps I'm misinterpreting, perhaps it's typically 
> meant to be run locally - that would make more sense. 
>
> So perhaps the server architecture is just to avoid library binding 
> issues for each client / language client's are implemented in. 
>

I think it's a local client/server relationship.  

-- 
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 post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: langserver - this looks important

2017-09-13 Thread Terry Brown 
On Wed, 13 Sep 2017 06:40:04 -0700 (PDT)
Phil  wrote:

> I just ran across this 5 minutes ago, so I can't really comment on it
> other than that it appears relevant to Leo, so I though I'd pass
> along the info:
> 
> http://langserver.org/

I've heard about this, but hadn't seen a concrete implementation before.

I wonder if you can run it locally for cases where you have no internet
connection?  Or perhaps I'm misinterpreting, perhaps it's typically
meant to be run locally - that would make more sense.

So perhaps the server architecture is just to avoid library binding
issues for each client / language client's are implemented in.

Thanks for the link.

Cheers -Terry

-- 
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 post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

langserver - this looks important

2017-09-13 Thread Phil 
I just ran across this 5 minutes ago, so I can't really comment on it other 
than that it appears relevant to Leo, so I though I'd pass along the info:

http://langserver.org/

-- 
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 post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.