On 04/09/2014 22:48, David Gileadi wrote:
On 9/4/14, 2:29 PM, Bruno Medeiros wrote:
On 04/09/2014 09:06, Brian Schott wrote:
If you've heard of Jedi or Gocode,

I know gocode, but what's Jedi, out of curiosity? I couldn't google it
because, well, Star Wars obviously..

The google is weak with you, young Padawan. Assuming from the context
that it's some kind of autocompletion library like DCD you can search
for https://www.google.com/search?q=jedi+autocomplete

Lol, true that. I tried "Jedi tool" and "Jedi code", but didn't occur to use "autocomplete"... (and the ones I tried still have a full Star Wars connotation)

Bruno Medeiros

Reply via email to