On Tue, 19 Aug 2014 10:56:37 -0700 (PDT)
Fidel N <[email protected]> wrote:
> Just checked again the link, and the video.
> Cant wait to have that coded into Leo, seems so useful!!
Note than you can do this(*) in Leo already:
c.sel<ctrl-space>
shows completions, so I select one then
c.selectPosition<ctrl-space>?<enter>
This second step shows the single completion, and, when I hit the '?',
prints, in the log window:
c.selectPosition
args:
self, p
keyword args:
enableRedrawFlag = True
Select a new position
The args listing is new, as is the ability to operate on expressions
evaluated with vs-eval from the valuespace plugin, e.g.
import argparse
parser = argparse.ArgumentParser()
parser.parse_args<ctrl-space>?<enter>
prints
parser.parse_args
args:
self
keyword args:
args = None
namespace = None
No docstring for u'parser.parse_args'
(*) by "this" I mean what I describe here, not everything srclib does :)
Cheers -Terry
> On Tuesday, August 19, 2014 2:22:33 PM UTC+2, Kent Tenney wrote:
> >
> > Sounds like a brilliant direction to me.
> > So many broad-shouldered giants out there ...
> >
> > On Tue, Aug 19, 2014 at 3:53 AM, Edward K. Ream <[email protected]
> > <javascript:>> wrote:
> > > On Fri, Aug 15, 2014 at 10:54 AM, Kent Tenney <[email protected]
> > <javascript:>> wrote:
> > >> https://srclib.org/
> > >>
> > >> Quite impressive programmer tool
> > >
> > > Thanks Kent. This is the new direction for Leo: rather than
> > > doing my own research, I'll be looking at integrating tools like
> > > srclib, Jedi and rope into Leo.
> > >
> > > 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] <javascript:>.
> > > To post to this group, send email to [email protected]
> > <javascript:>.
> > > Visit this group at http://groups.google.com/group/leo-editor.
> > > For more options, visit https://groups.google.com/d/optout.
> >
>
--
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 post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
