I'm coming out of retirement on this thread, only to address what appears to be a misunderstanding: > Although "heroic" improvements to tab completion are possible
The suggestion regarding making any changes to tab completion was not mine. My comments were limited to changes in command _naming_, specifically, the advantage of consistency in naming, and the fact that tab completion allows verbose names which don't require more keystrokes. On Mon, Aug 26, 2013 at 6:24 AM, Edward K. Ream <[email protected]> wrote: > On Fri, Aug 23, 2013 at 3:13 PM, Kent Tenney <[email protected]> wrote: > >> > I'll stop now. > > I find your point of view unconvincing, for the following reasons: > > 1. The docstring of any plugin should tell the commands provided by that > plugin. It is easy to read that docstring using the plugins menu. > > 2. The help-for-command command (default binding F12) should tell enough > about the command so that there will be no real confusion. > > As I write this, however, I discover that F12 does not work for any vr > commands. Presumably this means that help-for-command does not work for any > command defined by @g.command decorators. This is a major bug, and I'll fix > it today. > > 3. Although "heroic" improvements to tab completion are possible, they are > not likely to materially easy the burden of study on newbies. Indeed, they > have the potential simply to add another layer of burden. Leo's tab > completion, which continually reminds newbie and expert alike about > available commands *and* their key bindings, really does suffice. And if > tab completion is not enough to discover commands, there is the > print-commands command. > > In short, newbies must do some irreducible minimum of work to discover what > commands and plugins exist. Once a plugin is enabled, it is trivial (or > soon will be) to discover a) what commands a plugin supports and b) what any > particular command does. > > 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 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/groups/opt_out. -- 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/groups/opt_out.
