On Fri, 12 Nov 2010 15:23:24 -0800 (PST)
"Edward K. Ream" <[email protected]> wrote:

> It looks like the newly-improved handling of @url makes the bookmarks
> plugin unnecessary.
> 
> I suppose it should remain for those who use it, but would anyone
> object if I "hide" it by not documenting it?

I use it, preferring to see

@bookmarks
   Google
   Bing
   Yahoo

rather than

Bookmarks
  @url Google
  @url Bing
  @url Yahoo

which I think is the best the new @url handling could do?  It's not eating 
anything, so I don't see any need to hide it.  The docstring could be updated 
to mention the new @url handling.

Cheers -Terry

-- 
You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/leo-editor?hl=en.

Reply via email to